X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?p=YACASL2.git;a=blobdiff_plain;f=doc%2F.gitignore;h=6154d47ccbbb4f9a06d1c265f96d4c03f4fa16e1;hp=68f65a77d2513c56aac81a714a160d1ca7aa7b1a;hb=886b03134f0e5aad0ed3c29ae8d4e7cfa785f808;hpb=c1f7164cea1d3e5aebb76dc26543b1de593b92bb

diff --git a/doc/.gitignore b/doc/.gitignore
index 68f65a7..6154d47 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1 +1,22 @@
-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