@@ -14,12 +14,12 @@ mkdir -p $RESOURCES
1414
1515echo Building pandoc...
1616sudo cabal-dev install-deps
17−sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs
17+sudo cabal-dev install --reinstall --force-reinstalls --flags="embed_data_files" citeproc-hs
1818sudo cabal-dev install --disable-library-for-ghci highlighting-kate
1919sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE
2020sudo cabal-dev copy --destdir=$ROOT
2121# remove library files
22−sudo rm -r $ROOT/lib
22+sudo rm -r $ROOT/usr/local/lib
2323sudo chown -R $ME:staff $DIST
2424
2525gzip $ROOT/usr/local/share/man/man?/*.*