Merge pull request #28 from gap-packages/mh/gitignore

ruthhoffmann · web-flow · commit f4ca881544d3 · 2024-06-07T08:48:19.000+01:00
Update .gitignore
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/
