diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-10-16 09:32:11 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-10-16 09:32:11 -0700 |
| commit | 3455a34e66423f04486d48cbf7b7da011803626d (patch) | |
| tree | 98a4812de763d379e587a42a63d4859a94121b90 /make_osx_package.sh | |
| parent | 5d73186153ebacd1ddd9555a838cb1a637c25dae (diff) | |
| download | pandoc-3455a34e66423f04486d48cbf7b7da011803626d.tar.gz | |
make_osx_package.sh: use released version of pandoc-citeproc.1.
Diffstat (limited to 'make_osx_package.sh')
| -rwxr-xr-x | make_osx_package.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index 9188f7513..78b7ae226 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -18,7 +18,10 @@ mkdir -p $RESOURCES echo Building pandoc... stack install --stack-yaml=stack.pkg.yaml + +echo Getting man pages... make man/pandoc.1 +PANDOC_CITEPROC_PATH=`cabal unpack -d $DIST pandoc-citeproc | awk '{print $3;}' mkdir -p $DEST/bin mkdir -p $DEST/share/man/man1 @@ -26,7 +29,7 @@ mkdir -p $DEST/share/man/man5 for f in pandoc pandoc-citeproc; do cp $LOCALBIN/$f $DEST/bin/; done -cp ../pandoc-citeproc/man/man1/pandoc-citeproc.1 $DEST/share/man/man1/ +cp $PANDOC_CITEPROC_PATH/man/man1/pandoc-citeproc.1 $DEST/share/man/man1/ cp man/pandoc.1 $DEST/share/man/man1/ chown -R $ME:staff $DIST |