@@ -12,9 +12,10 @@ rm -rf $DIST
1212mkdir -p $RESOURCES
1313
1414echo Building pandoc...
15−runghc Setup.hs configure --user --prefix=/usr/local --flags="executable -library highlighting"
16−runghc Setup.hs build
17−runghc Setup.hs copy --destdir=$ROOT
15+cabal-dev install --disable-library-for-ghci highlighting-kate
16+cabal-dev install --flags="embed_data_files" citeproc-hs
17+cabal-dev install --flags="executable -library highlighting"
18+cabal-dev copy --destdir=$ROOT
1819
1920echo Copying license...
2021cp COPYING $RESOURCES/License.txt