From 945d7ebb792ea9511cf699d10917eeced55fd1f8 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Mon, 5 Dec 2022 23:54:04 +0100
Subject: [PATCH] Update .gitignore

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 8082b48c..173cccc5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,6 +20,7 @@
 /doc/*.xml.bib
 /doc/manual.pdf
 /doc/title.xml
+/doc/_*.xml
 
 /tmp/
 /gh-pages/