@@ -5,6 +5,7 @@ SANDBOX=`pwd`/.cabal-sandbox
55VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}')
66RESOURCES=$DIST/Resources
77ROOT=$DIST/pandoc
8+MANDIR=`pwd`/man
89DEST=$ROOT/usr/local
910OSX=osx
1011SCRIPTS=$OSX/osx-resources
@@ -38,14 +39,11 @@ mkdir -p $DEST/share/man/man1
3839mkdir -p $DEST/share/man/man5
3940for f in $EXES; do
4041 cp $SANDBOX/bin/$f $DEST/bin/;
41− cp $SANDBOX/share/man/man1/$f.1 $DEST/share/man/man1/
42+ cp $MANDIR/man1/$f.1 $DEST/share/man/man1/
4243done
43−cp $SANDBOX/share/man/man5/pandoc_markdown.5 $DEST/share/man/man5/
44+cp $MANDIR/man5/pandoc_markdown.5 $DEST/share/man/man5/
4445
4546chown -R $ME:staff $DIST
46−# gzip $DEST/share/man/man?/*.*
47−# cabal gives man pages the wrong permissions
48−chmod +r $DEST/share/man/man?/*.*
4947
5048echo Copying license...
5149$SANDBOX/bin/pandoc --data data -t rtf -s COPYING -o $RESOURCES/License.rtf