aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2015-05-06 14:55:21 -0400
committerMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2015-05-06 20:17:08 +0100
commit319bf20d44589545e6850db3e676e30216dd3cc2 (patch)
treeb60ade6dd1b8c59a4f99ea433c0c920d0fd02274
parent5d04e313cc52ecf88b0fd0b3d0d39ce6a8dc7406 (diff)
Ignore doc/haddock.{ps,pdf}
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 2d3f4516..f07c758d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,8 @@
/latex-test/out/
/doc/haddock
+/doc/haddock.ps
+/doc/haddock.pdf
/doc/autom4te.cache/
/doc/config.log
/doc/config.mk