diff docs/conf.py @ 188:8e172ca6c944

FIX: Name of PDF output
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 13 May 2026 01:12:48 +0200
parents 418846a2623c
children c10b2092c48f
line wrap: on
line diff
--- a/docs/conf.py	Tue May 12 21:07:42 2026 +0200
+++ b/docs/conf.py	Wed May 13 01:12:48 2026 +0200
@@ -154,7 +154,7 @@
 latex_show_pagerefs = True
 latex_domain_indices = False
 latex_documents = [
-    ("_latex/index-latex", "PygmentsPseudocodeLexer.tex", "The Pygments Pseudocode Lexer", "Franz Glasner", "manual", True),
+    ("_latex/index-latex", "PygmentsLexerPseudocode2.tex", "The Pygments Pseudocode Lexer", "Franz Glasner", "manual", True),
 ]
 latex_additional_files = [
     "_latex/my-doc-fonts.sty",