summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2011-10-23 18:22:32 -0700
committerJohn MacFarlane <fiddlosopher@gmail.com>2011-10-23 18:24:19 -0700
commiteac1fc3750923698db82011b9fda5a0788dfcfea (patch)
treebc3bfe2293ab59aa8c419c28f0721951b77bc10c /.gitignore
parent8da83ff3c5c0c14538397bb04b598d41e2a0b90e (diff)
Added built man pages to repository.
In general I don't like adding generated content to the repository, but I also want to make it possible to clone the repository and 'cabal install'. THe current system with Setup.hs calling MakeManPage.hs is too fragile.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 0 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore
index df51012fa..710a6aa3a 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,8 +3,6 @@ README.*
!README.Debian
INSTALL.*
.configure-stamp
-man/man?/*.1
-man/man?/*.5
man/man?/*.html
*.diff
pandoc.cabal.orig