From f4067f056d52c47209409057527e102edceae3ed Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Tue, 17 Mar 2026 16:35:26 +0100
Subject: [PATCH] doc: specify full main XML filename

For historical reasons, AutoDoc allows omitting the file
extensions, but this is an undocumented feature. So better
not to rely on it.
---
 makedoc.g | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makedoc.g b/makedoc.g
index d8bcbc436..5af5973b9 100644
--- a/makedoc.g
+++ b/makedoc.g
@@ -127,7 +127,7 @@ AutoDoc("digraphs", rec(
             \usepackage{a4wide}
             \newcommand{\bbZ}{\mathbb{Z}}
         """),
-        main := "main",
+        main := "main.xml",
         files := Files),
 
     scaffold := rec(