@@ -15,7 +15,7 @@ echo Building pandoc...
15sudo cabal-dev install-deps
15sudo cabal-dev install-deps
16sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs
16sudo cabal-dev install --reinstall --flags="embed_data_files" citeproc-hs
17sudo cabal-dev install --disable-library-for-ghci highlighting-kate
17sudo 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"
18+sudo cabal-dev install --prefix=/usr/local --datasubdir=$BASE --docdir=/usr/local/doc/$BASE --flags="executable -library"
19sudo cabal-dev copy --destdir=$ROOT
19sudo cabal-dev copy --destdir=$ROOT
20sudo chown -R $ME:staff $DIST
20sudo chown -R $ME:staff $DIST