Makefileの修正

[YACASL2.git] / doc / .gitignore

diff --git a/doc/.gitignore b/doc/.gitignore
index 4c954bc..707286e 100644 (file)
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,3 +1,9 @@
-yacasl2/*.html
-temp_pdf
-yacasl2.pdf
+install.html
+install.info
+install.pdf
+install.txt
+manual.html
+manual.pdf
+manual_html
+yacasl2.info
+casl2_spec.html