diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-23 18:22:32 -0700 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-23 18:24:19 -0700 |
commit | eac1fc3750923698db82011b9fda5a0788dfcfea (patch) | |
tree | bc3bfe2293ab59aa8c419c28f0721951b77bc10c /.gitignore | |
parent | 8da83ff3c5c0c14538397bb04b598d41e2a0b90e (diff) | |
download | pandoc-eac1fc3750923698db82011b9fda5a0788dfcfea.tar.gz |
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-- | .gitignore | 2 |
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 |