Fixed .gitignore issues

gap-packages · Feb 23, 2016 · aed3bc4 · aed3bc4
1 parent 9da24b3
commit aed3bc4
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 77 deletions.
diff --git a/.gitignore b/.gitignore
@@ -21,4 +21,5 @@ doc/*.ilg
 doc/*.ind
 doc/*.out
 doc/*.toc
+doc/manual.pdf
 zips
diff --git a/doc/.gitignore b/doc/.gitignore
@@ -1,3 +1,19 @@
-chap*.html chap*.txt
-*.aux *.bbl *.blg *.brf *.ilg *.idx *.ind *.log *.pnr *.toc *.out
-manual.pdf manual.six fr.tex frbib.xml.bib
+chap*.txt
+manual.six
+fr.tex
+fr.aux
+fr.bbl
+fr.blg
+fr.brf
+fr.idx
+fr.ilg
+fr.ind
+fr.log
+fr.out
+fr.pnr
+fr.toc
+fr.xml
+frbib.xml
+frbib.xml.bib
+.git
+.gitignore
diff --git a/doc/PackageInfo.g b/doc/PackageInfo.g