diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 13:52:38 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 13:52:46 -0700 |
| commit | 3b7d276ab056261972dfefc659648813bb9787d7 (patch) | |
| tree | b87772819f9703fb520b01f7cd1cc5ab57b0fc24 /man | |
| parent | a0e795fc40601d29dac48f7faac4507712ace601 (diff) | |
| download | pandoc-3b7d276ab056261972dfefc659648813bb9787d7.tar.gz | |
Added make-pandoc-man-pages flag
Previously we built this by default, but most users won't need
to build it, since we include built man pages with the package.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions