@@ -2,7 +2,7 @@
3cabal update
3cabal update
4cabal-dev clean
4cabal-dev clean
5−cabal-dev install --reinstall --force-reinstall --disable-library-for-ghci highlighting-kate
5+cabal-dev install --reinstall --force-reinstall highlighting-kate
6cabal-dev install --reinstall --force-reinstall --flags="embed_data_files" citeproc-hs
6cabal-dev install --reinstall --force-reinstall --flags="embed_data_files" citeproc-hs
7cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
7cabal-dev install --reinstall --force-reinstall --flags="embed_data_files"
8strip cabal-dev\bin\pandoc.exe
8strip cabal-dev\bin\pandoc.exe