Update .gitignore

gap-packages · Dec 5, 2022 · 945d7eb · 945d7eb
1 parent d7766cf
commit 945d7eb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -20,6 +20,7 @@
 /doc/*.xml.bib
 /doc/manual.pdf
 /doc/title.xml
+/doc/_*.xml
 
 /tmp/
 /gh-pages/