Makefile: make prep now handles updates to pandoc-types.
commit360f8a3d011169679be558d5e61c1a53d421f19c
authorJohn MacFarlane <jgm@berkeley.edu>
dateMon 14 Jan 2013, 15:15 (14 years ago)
parent45895b5
Makefile+2
@@ -12,6 +12,8 @@ prof:
1212prep: pandoc-types submodules
1313 (cabal-dev --version || (cabal update && cabal install cabal-dev)) && \
1414 cabal-dev update && \
15+ (cd pandoc-types && git pull && cd .. && cabal-dev add-source pandoc-types) && \
16+ cabal-dev install --reinstall --force-reinstall pandoc-types citeproc-hs && \
1517 cabal-dev install-deps --enable-library-profiling --enable-tests --enable-benchmarks
1618
1719submodules: