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")