@@ -16,8 +16,10 @@ echo Building pandoc...
16sudo cabal-dev install-deps
16sudo cabal-dev install-deps
17sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs
17sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs
18sudo cabal-dev install --disable-library-for-ghci highlighting-kate
18sudo cabal-dev install --disable-library-for-ghci highlighting-kate
19−sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable blaze_html_0_5 -library"
19+sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE
20sudo cabal-dev copy --destdir=$ROOT
20sudo cabal-dev copy --destdir=$ROOT
21+# remove library files
21sudo chown -R $ME:staff $DIST
23sudo chown -R $ME:staff $DIST
23gzip $ROOT/usr/local/share/man/man?/*.*
25gzip $ROOT/usr/local/share/man/man?/*.*