subsurface/Documentation
Michael Keller 8181048611 CICD: Add GitHub Action File for Documentation Processing.
Also add an appropriate branch condition to the actions building
docker images.

Signed-off-by: Michael Keller <github@ike.ch>
2024-02-10 09:32:31 -08:00
..
50-pot Uemis support: hack around the need to reconnect the Uemis Zurich 2022-02-15 09:31:35 -08:00
fr/po Documentation: update and merge french manuals 2018-11-05 07:49:40 -08:00
images Documentation: Add Missing Image in CONTRIBUTING.md 2024-02-07 08:41:18 -08:00
mobile-images mobile/manual: small style change to fit pictures 2021-02-21 12:42:10 -08:00
compact_subsurface.css mobile/manual: tuning of header sizes 2021-02-24 09:54:43 -08:00
make_PO_to_ASCIIDOC.sh Grammar: replaces 'indexes' by 'indices' 2020-03-11 08:26:30 -07:00
make_POT.sh
Makefile CICD: Automate Processing of the Documentation. 2024-02-10 09:32:31 -08:00
mobile-manual-v2.html.git documentation/mobile-manual: create a merged v3 manual 2020-05-05 17:55:02 -07:00
mobile-manual-v2.txt documentation/mobile-manual: create a merged v3 manual 2020-05-05 17:55:02 -07:00
mobile-manual-v3.html.git CICD: Add GitHub Action File for Documentation Processing. 2024-02-10 09:32:31 -08:00
mobile-manual-v3.txt CICD: Automate Processing of the Documentation. 2024-02-10 09:32:31 -08:00
mobile-manual_es.html.git Update HTML versions of user manuals 2018-09-15 16:07:22 -07:00
mobile-manual_es.txt
mobile-manual_fr.html.git Documentation: update and merge french manuals 2018-11-05 07:49:40 -08:00
mobile-manual_fr.txt Documentation: update and merge french manuals 2018-11-05 07:49:40 -08:00
user-manual.html.git update documentation processing 2024-02-08 13:26:39 -08:00
user-manual.txt update documentation processing 2024-02-08 13:26:39 -08:00
user-manual_es.html.git update documentation processing 2024-02-08 13:26:39 -08:00
user-manual_es.txt update documentation processing 2024-02-08 13:26:39 -08:00
user-manual_fr.html.git update documentation processing 2024-02-08 13:26:39 -08:00
user-manual_fr.txt CICD: Automate Processing of the Documentation. 2024-02-10 09:32:31 -08:00
user-manual_nl.html.git update documentation processing 2024-02-08 13:26:39 -08:00
user-manual_nl.txt update documentation processing 2024-02-08 13:26:39 -08:00