Github #218: Refine HTML help conversion notes

viking-gps · Dec 29, 2023 · 8b88dd3 · 8b88dd3
1 parent cf8ee7e
commit 8b88dd3
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/help/C/README.txt b/help/C/README.txt
@@ -1,6 +1,8 @@
 # How to generate HTML from the xml:
-#xmlto xhtml -m config.xsl index.docbook
+xmlto html -m config.xsl index.docbook
 # ATM config is setup for a single page - index.html
+# then copy the generated *.html files and all files from figures/ into the version to upload
+# (e.g. into viking-gps.github.io)
 
 # To generate a block of text for the Wiki:
 #html2wiki --dialect=MediaWiki \