--- a/docs/conf.py	Mon May 11 10:52:43 2026 +0200
+++ b/docs/conf.py	Mon May 11 14:38:59 2026 +0200
@@ -23,6 +23,8 @@
 
 today = datetime.date.today().isoformat()
 
+master_doc = "index"
+
 # -- Project information -----------------------------------------------------
 # https://www.sphinx-doc.org/en/master/usage/configuration.html#project-information
 
@@ -126,6 +128,23 @@
 #pygments_style = "sphinx"
 pygments_style = "default"
 
+# --- Options for LaTeX output -----------------------------------------------
+# https://www.sphinx-doc.org/en/master/latex.html
+latex_engine = 'lualatex'
+latex_elements = {
+    "papersize": "a4paper",
+    "babel": r"\usepackage{babel}",
+    "fontpkg": r"\usepackage{plex-otf}",
+    "releasename": "Version",
+}
+latex_theme = "manual"
+latex_show_urls = "footnote"
+latex_show_pagerefs = True
+latex_domain_indices = False
+latex_documents = [
+    ("index-latex", "PygmentsPseudocodeLexer.tex", "The Pygments Pseudocode Lexer", "Franz Glasner", "manual", True),
+]
+
 
 def setup(app):
     #