diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-07-01 16:29:44 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-01 16:29:44 -0700 |
| commit | 28cb50503b2f9428de34dee0d62f2e46f1c0fa59 (patch) | |
| tree | 2e6d0f770ac5892b66368c2fa2a6310a57b71fda /github-upload.sh | |
| parent | 958a615b759aaa45333bac7f12a2a35b2d8c8b34 (diff) | |
Generate man page in cabal build process and include in data/.
The pandoc.1 man page is generated automatically after the cabal
build process. It goes in `data/pandoc.1`. It can be obtained
by the user who installs pandoc via cabal thus:
pandoc --print-default-data-file pandoc.1 > pandoc.1
Diffstat (limited to 'github-upload.sh')
0 files changed, 0 insertions, 0 deletions