@@ -5,17 +5,23 @@ VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}')
55RESOURCES=$DIST/Resources
66ROOT=$DIST/pandoc
77BASE=pandoc-$VERSION
8+ME=jgm
89
910echo Removing old files...
1011rm -rf $DIST
1112mkdir -p $RESOURCES
1213
1314echo Building pandoc...
14−cabal-dev install-deps
15−cabal-dev install --reinstall --disable-library-for-ghci highlighting-kate
16−cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs
17−cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable -library highlighting"
18−cabal-dev copy --destdir=$ROOT
15+sudo cabal-dev install-deps
16+sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs
17+sudo cabal-dev install --disable-library-for-ghci highlighting-kate
18+sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable -library highlighting"
19+sudo cabal-dev copy --destdir=$ROOT
20+sudo chown -R $ME:staff $DIST
21+
22+gzip $ROOT/usr/local/share/man/man?/*.*
23+# cabal gives man pages the wrong permissions
24+chmod +r $ROOT/usr/local/share/man/man?/*.*
1925
2026echo Copying license...
2127cp COPYING $RESOURCES/License.txt