Makefileの修正

[YACASL2.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 707286e..6154d47 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,9 +1,22 @@
 install.html
+install_html
 install.info
 install.pdf
 install.txt
 manual.html
-manual.pdf
 manual_html
+manual.pdf
 yacasl2.info
 casl2_spec.html
+*.aux
+*.cp
+*.cps
+*.fn
+*.ky
+*.log
+*.pg
+*.pgs
+*.tmp
+*.toc
+*.tp
+*.vr