# HG changeset patch
# User Franz Glasner <fzglas.hg@dom66.de>
# Date 1778627568 -7200
# Node ID 8e172ca6c944c350183534268d162b82f09dfae7
# Parent  418846a2623cafdf13cea6086379c38f7b017437
FIX: Name of PDF output

diff -r 418846a2623c -r 8e172ca6c944 docs/conf.py
--- 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",