@@ -14,7 +14,7 @@ mkdir -p $RESOURCES
15echo Building pandoc...
15echo Building pandoc...
16sudo cabal-dev install-deps
16sudo cabal-dev install-deps
17−sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs
17+sudo cabal-dev install --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
19sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable -library"
19sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable -library"
20sudo cabal-dev copy --destdir=$ROOT
20sudo cabal-dev copy --destdir=$ROOT