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