From eac1fc3750923698db82011b9fda5a0788dfcfea Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 23 Oct 2011 18:22:32 -0700 Subject: 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. --- .gitignore | 2 -- 1 file changed, 2 deletions(-) (limited to '.gitignore') 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 -- cgit v1.2.3