1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 32b8aaa..e585408 100644
--- a/Makefile
+++ b/Makefile
@@ -46,6 +46,9 @@ archive: $(ARCHIVE_FILE)
 clean:
 	rm -rf $(DOCSET_DIR) $(ARCHIVE_FILE)
 
+dist-clean: clean
+	rm -rf tmp
+
 tmp:
 	mkdir -p $@