@@ -13,14 +13,14 @@ rm -rf $DIST
1313mkdir -p $RESOURCES
1414
1515echo Building pandoc...
16−sudo cabal-dev install-deps
17−sudo cabal-dev install --reinstall --force-reinstalls --flags="embed_data_files" citeproc-hs
18−sudo cabal-dev install --disable-library-for-ghci highlighting-kate
19−sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE
20−sudo cabal-dev copy --destdir=$ROOT
16+cabal-dev install-deps
17+cabal-dev install --reinstall --force-reinstalls --flags="embed_data_files" citeproc-hs
18+cabal-dev install --disable-library-for-ghci highlighting-kate
19+cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE
20+cabal-dev copy --destdir=$ROOT
2121# remove library files
22−sudo rm -r $ROOT/usr/local/lib
23−sudo chown -R $ME:staff $DIST
22+rm -r $ROOT/usr/local/lib
23+chown -R $ME:staff $DIST
2424
2525gzip $ROOT/usr/local/share/man/man?/*.*
2626# cabal gives man pages the wrong permissions