mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-24 15:44:59 +08:00
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.