From 360f8a3d011169679be558d5e61c1a53d421f19c Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Mon, 14 Jan 2013 15:15:09 -0800 Subject: Makefile: make prep now handles updates to pandoc-types. --- Makefile | 2 ++ 1 file changed, 2 insertions(+) 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: -- cgit v1.2.3