path: root/
diff options
authorJohn MacFarlane <>2015-07-01 16:29:44 -0700
committerJohn MacFarlane <>2015-07-01 16:29:44 -0700
commit28cb50503b2f9428de34dee0d62f2e46f1c0fa59 (patch)
tree2e6d0f770ac5892b66368c2fa2a6310a57b71fda /
parent958a615b759aaa45333bac7f12a2a35b2d8c8b34 (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 '')
1 files changed, 1 insertions, 2 deletions
diff --git a/ b/
index da069565f..32314f967 100755
--- a/
+++ b/
@@ -27,7 +27,6 @@ cabal clean
cabal install cpphs hsb2hs
cabal install --ghc-options="-optl-mmacosx-version-min=10.6" --reinstall --flags="embed_data_files make-pandoc-man-pages" --ghc-options "-pgmP$CPPHS -optP--cpp" . pandoc-citeproc
-make -B man/man1/pandoc.1
# get pandoc-citeproc man page:
PANDOC_CITEPROC_PATH=`cabal unpack -d $DIST pandoc-citeproc | awk '{print $3;}'`
@@ -38,7 +37,7 @@ for f in pandoc pandoc-citeproc; do
cp $SANDBOX/bin/$f $DEST/bin/;
cp $PANDOC_CITEPROC_PATH/man/man1/pandoc-citeproc.1 $DEST/share/man/man1/
-cp man/man1/pandoc.1 $DEST/share/man/man1/pandoc.1
+$SANDBOX/bin/pandoc --print-default-data-file pandoc.1 > $DEST/share/man/man1/pandoc.1
chown -R $ME:staff $DIST