Generate command documentation also in LaTeX format

fixes 1042

diff --git a/rpp-test-sw/commands/doc/Makefile b/rpp-test-sw/commands/doc/Makefile
index a93a5769695969a9e66ed38fda27c1c514d6c199..395e7bce99707a4ddc1a527c4f40f533362bd547 100644 (file)
--- a/rpp-test-sw/commands/doc/Makefile
+++ b/rpp-test-sw/commands/doc/Makefile
@@ -26,6 +26,9 @@ doc.mdwn: docgen Makefile
 doc.html: docgen Makefile
        ./docgen wiki | pandoc -f markdown_strict -t html --base-header-level=2 > $@
 
+doc.tex: docgen Makefile
+       ./docgen pdfdoc | pandoc -f markdown_strict -t latex --base-header-level=1 | sed -e 's/\\subsection/\\newpage\\subsection/' > $@
+
 upload: upload-mw upload-web
 
 upload-mw: doc.mw

diff --git a/rpp-test-sw/commands/doc/docgen.c b/rpp-test-sw/commands/doc/docgen.c
index d7ae3a7a0d63b6bb1c901e3910044fe34d6389cd..24cf24b8fddd5f6d597f44a250779df8f278ee8c 100644 (file)
--- a/rpp-test-sw/commands/doc/docgen.c
+++ b/rpp-test-sw/commands/doc/docgen.c
@@ -61,6 +61,9 @@ int main(int argc, char *argv[])
                        system("git describe --always");
                        printf("\n");
                }
+               else if (strcmp(argv[1], "pdfdoc") == 0) {
+                       mode = WIKI_HELP;
+               }
                else
                        mode = COMMAND_HELP;
        }