Dirk Hohndel 1762ad9472 documentation: update the included html manual ... Forgot to do that when updating the user manual the last time. Signed-off-by: Dirk Hohndel <dirk@hohndel.org>		2021-06-03 08:30:07 -07:00
..
50-pot
fr/po
images
mobile-images
compact_subsurface.css
FAQ.wordpress
make_PO_to_ASCIIDOC.sh
make_POT.sh
Makefile
mobile-manual-v2.html.git
mobile-manual-v2.txt
mobile-manual-v3.html.git
mobile-manual-v3.txt
mobile-manual_es.html.git
mobile-manual_es.txt
mobile-manual_fr.html.git
mobile-manual_fr.txt
user-manual.html.git	documentation: update the included html manual	2021-06-03 08:30:07 -07:00
user-manual.txt
user-manual_es.html.git
user-manual_es.txt
user-manual_fr.html.git
user-manual_fr.txt
user-manual_nl.html.git
user-manual_nl.txt
user-manual_ru.html.git
user-manual_ru.txt