summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index daf3d1b..ba99293 100644
--- a/Makefile
+++ b/Makefile
@@ -14,6 +14,7 @@ $(DOCSET): getters/$(DOCSET).sh
# Convert to dash docset using python script
$(DOCSET).docset: $(DOCSET) mandocset.py
+ rm -rf "$(DOCSET).docset"
ifndef EXECUTABLE
python3 mandocset.py -o $(DOCSET) -p $(DOCSET)/
else