aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 5178e60b3..421dd24f0 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,8 @@ prof:
prep: pandoc-types submodules
(cabal-dev --version || (cabal update && cabal install cabal-dev)) && \
cabal-dev update && \
+ (cd pandoc-types && git pull && cd .. && cabal-dev add-source pandoc-types) && \
+ cabal-dev install --reinstall --force-reinstall pandoc-types citeproc-hs && \
cabal-dev install-deps --enable-library-profiling --enable-tests --enable-benchmarks
submodules: