diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-08-14 22:15:15 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-14 22:15:15 -0700 |
| commit | fb8691c2fad04d4a5a53b6a82809bfcd403a8eee (patch) | |
| tree | 77494d28ff79794e612fc593e3711da03a9bd9a0 | |
| parent | a8b6094cec2604ae6b03b1882dc398004eaf8ee0 (diff) | |
| download | pandoc-fb8691c2fad04d4a5a53b6a82809bfcd403a8eee.tar.gz | |
make_osx_package: Fix man page installation.
| -rwxr-xr-x | make_osx_package.sh | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh index 0f8f02d48..5c8336cf6 100755 --- a/make_osx_package.sh +++ b/make_osx_package.sh @@ -5,6 +5,7 @@ SANDBOX=`pwd`/.cabal-sandbox VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}') RESOURCES=$DIST/Resources ROOT=$DIST/pandoc +MANDIR=`pwd`/man DEST=$ROOT/usr/local OSX=osx SCRIPTS=$OSX/osx-resources @@ -38,14 +39,11 @@ mkdir -p $DEST/share/man/man1 mkdir -p $DEST/share/man/man5 for f in $EXES; do cp $SANDBOX/bin/$f $DEST/bin/; - cp $SANDBOX/share/man/man1/$f.1 $DEST/share/man/man1/ + cp $MANDIR/man1/$f.1 $DEST/share/man/man1/ done -cp $SANDBOX/share/man/man5/pandoc_markdown.5 $DEST/share/man/man5/ +cp $MANDIR/man5/pandoc_markdown.5 $DEST/share/man/man5/ chown -R $ME:staff $DIST -# gzip $DEST/share/man/man?/*.* -# cabal gives man pages the wrong permissions -chmod +r $DEST/share/man/man?/*.* echo Copying license... $SANDBOX/bin/pandoc --data data -t rtf -s COPYING -o $RESOURCES/License.rtf |