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

Update .gitignore
gap-packages · Jun 7, 2024 · f4ca881 · f4ca881
2 parents b304662 + a818bbd
commit f4ca881
Showing 1 changed file with 4 additions and 0 deletions.
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/