From 8fe7a53b9d0593213f6bbbd57ad8d2cd27ddcd37 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 17 Mar 2013 14:06:54 +0000
Subject: [PATCH] .gitignore: add lots of docs files

---
 .gitignore | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.gitignore b/.gitignore
index b25c15b..f719d45 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,10 @@
 *~
+*.tmp
+caf.aux
+caf.dvi
+caf.html
+caf.idx
+caf.log
+caf.pdf
+caf.tex
+caf.toc
-- 
2.30.2