@@ -9,11 +9,9 @@ all:
99prof:
1010 cabal-dev configure --enable-tests --enable-library-profiling --enable-executable-profiling && cabal-dev build
1111
12−prep: pandoc-types submodules
12+prep: 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 && \
1715 cabal-dev install-deps --enable-library-profiling --enable-tests --enable-benchmarks
1816
1917submodules:
@@ -34,13 +32,13 @@ clean:
3432veryclean: clean
3533 cabal-dev clean && rm -rf pandoc-types citeproc-hs
3634
37−pandoc-types:
38− git clone https://github.com/jgm/pandoc-types && \
39− cabal-dev add-source pandoc-types
35+# pandoc-types:
36+# git clone https://github.com/jgm/pandoc-types && \
37+# cabal-dev add-source pandoc-types
4038
41−citeproc-hs: pandoc-types
42− darcs get --lazy http://gorgias.mine.nu/repos/citeproc-hs && \
43− cabal-dev add-source citeproc-hs
39+# citeproc-hs: pandoc-types
40+# darcs get --lazy http://gorgias.mine.nu/repos/citeproc-hs && \
41+# cabal-dev add-source citeproc-hs
4442
4543install:
4644 cabal-dev install --enable-tests --enable-benchmarks