summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <fiddlosopher@gmail.com>2013-08-15 12:20:57 -0700
committerJohn MacFarlane <fiddlosopher@gmail.com>2013-08-15 12:20:57 -0700
commit5af0de23cc60ab02b351e075992f6a936acdf19e (patch)
treef76a209d705fca998f273d7f6da1a0945dd5414e /Makefile
parent3e8bd8aa15a57c3dc87772049aabedeb1e0c7582 (diff)
Makefile: Remove *everything* on 'make veryclean'.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b97ab1a5e..b8548a648 100644
--- a/Makefile
+++ b/Makefile
@@ -37,7 +37,7 @@ clean:
cabal-dev clean
veryclean: clean
- cabal-dev clean && rm -rf pandoc-types citeproc-hs
+ rm -rf pandoc-types citeproc-hs dist cabal-dev
pandoc-types:
git clone https://github.com/jgm/pandoc-types && \