summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorLouie Shprung <lshprung@scu.edu>2022-11-25 13:54:14 -0800
committerLouie Shprung <lshprung@scu.edu>2022-11-25 13:54:14 -0800
commite6a4cea1ef3b0afc009faef0b4204528b89298b4 (patch)
tree088dfefd9b5902e1fab7f65f0069023d3440b0a3 /Makefile
parentfe9abb684d2562e83b593b8b82b3bf98b08634b5 (diff)
Added rm -rf for python targetHEADmaster
Diffstat (limited to 'Makefile')
-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