Makefile: Remove *everything* on 'make veryclean'.
commit5af0de23cc60ab02b351e075992f6a936acdf19e
authorJohn MacFarlane <fiddlosopher@gmail.com>
dateThu 15 Aug 2013, 12:20 (13 years ago)
parent3e8bd8a
Makefile+1−1
@@ -37,7 +37,7 @@ clean:
3737 cabal-dev clean
3838
3939veryclean: clean
40− cabal-dev clean && rm -rf pandoc-types citeproc-hs
40+ rm -rf pandoc-types citeproc-hs dist cabal-dev
4141
4242pandoc-types:
4343 git clone https://github.com/jgm/pandoc-types && \