summaryrefslogtreecommitdiff
path: root/make_osx_package.sh
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2014-08-14 22:15:15 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2014-08-14 22:15:15 -0700
commitfb8691c2fad04d4a5a53b6a82809bfcd403a8eee (patch)
tree77494d28ff79794e612fc593e3711da03a9bd9a0 /make_osx_package.sh
parenta8b6094cec2604ae6b03b1882dc398004eaf8ee0 (diff)
make_osx_package: Fix man page installation.
Diffstat (limited to 'make_osx_package.sh')
-rwxr-xr-xmake_osx_package.sh8
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