X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2F.gitignore;h=f8fc444ab7eb531c1ac4dca06f05db8b9054027d;hb=20134ec3ebf911ef241284c6bd9145c04a75c6ca;hp=68f65a77d2513c56aac81a714a160d1ca7aa7b1a;hpb=f1803bd560071fb724b2c7ff2f5f35fa5086d10a;p=YACASL2.git

diff --git a/doc/.gitignore b/doc/.gitignore
index 68f65a7..f8fc444 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1 +1,23 @@
-yacasl2/*.html
+install.html
+install_html
+install.info
+install.pdf
+install.txt
+manual.html
+manual_html
+manual.pdf
+yacasl2.info
+casl2_spec.html
+*.aux
+*.cp
+*.cps
+*.fn
+*.ky
+*.log
+*.pg
+*.pgs
+*.tmp
+*.toc
+*.tp
+*.vr
+*.d