mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-18 21:45:55 +00:00
The process was too fragile. It made too many assumptions about available libraries (which failed sometimes when sandboxes were used). This is a low-tech solution. The only drawback is that `man/pandoc.1` is a generated file in the repository. It will need to be regenerated periodically when README changes.