From 5b63d93df3e2218d31f87c710c2c093c6e2d7c7d Mon Sep 17 00:00:00 2001 From: redfast00 Date: Sat, 31 Jul 2021 03:29:37 +0200 Subject: [PATCH] Add new idea for docs --- docs/.gitignore | 1 + docs/build.py | 12 ++++++++++++ 2 files changed, 13 insertions(+) create mode 100644 docs/.gitignore create mode 100644 docs/build.py diff --git a/docs/.gitignore b/docs/.gitignore new file mode 100644 index 0000000..d79a8f1 --- /dev/null +++ b/docs/.gitignore @@ -0,0 +1 @@ +docs.pdf diff --git a/docs/build.py b/docs/build.py new file mode 100644 index 0000000..fa3c90e --- /dev/null +++ b/docs/build.py @@ -0,0 +1,12 @@ +import glob +import os + +# https://tex.stackexchange.com/questions/101717/converting-markdown-to-latex-in-latex/246871#246871 + +outfilename = '/tmp/out.md' +with open(outfilename, 'w') as outfile: + for filepath in glob.iglob('../src/modules/*/doc/index.md'): + with open(filepath) as infile: + outfile.write(infile.read()) + outfile.write("\n\\newpage{}\n") +os.system(f"pandoc --from=markdown --output=docs.pdf {outfilename} --highlight-style=espresso")