diff options
author | John MacFarlane <jgm@berkeley.edu> | 2013-01-14 15:15:09 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2013-01-14 15:15:09 -0800 |
commit | 360f8a3d011169679be558d5e61c1a53d421f19c (patch) | |
tree | d70e9579e03a2378b45141ccbeb4a7354f235220 | |
parent | 45895b561f36afc0bdb2a04765f638e91a199635 (diff) | |
download | pandoc-360f8a3d011169679be558d5e61c1a53d421f19c.tar.gz |
Makefile: make prep now handles updates to pandoc-types.
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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: |