X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2F.gitignore;h=86a0894643a5afa00a525e86c86d45302381426e;hp=00d30e8d007bcbaea3e0e53da6c5a1ab3be70ffd;hb=86e559d164166966a797a1e5855871d48e087ddd;hpb=6d481ded788fac267c4d6a115184936052df7430

diff --git a/doc/.gitignore b/doc/.gitignore
index 00d30e8..86a0894 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1 +1,22 @@
-yacasl2
+install.html
+install_html
+install.info
+install.pdf
+manual.html
+manual_html
+manual.pdf
+yacasl2.info
+casl2_spec.html
+*.aux
+*.cp
+*.cps
+*.fn
+*.ky
+*.log
+*.pg
+*.pgs
+*.tmp
+*.toc
+*.tp
+*.vr
+*.d