chiark / gitweb /
.gitignore: add lots of docs files
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Mar 2013 14:06:54 +0000 (14:06 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 17 Mar 2013 14:06:54 +0000 (14:06 +0000)
.gitignore

index b25c15b..f719d45 100644 (file)
@@ -1 +1,10 @@
 *~
+*.tmp
+caf.aux
+caf.dvi
+caf.html
+caf.idx
+caf.log
+caf.pdf
+caf.tex
+caf.toc