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(