Update .gitignore

fingolfin · fingolfin · commit a818bbd47eff · 2024-03-23T22:17:26.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -22,3 +22,7 @@ doc/*.toc
 doc/*.txt
 doc/_*.xml
 doc/title.xml
+doc/PatternClass.xml
+
+/tmp/
+/gh-pages/
