1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index a6fd474..daf3d1b 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,11 @@ $(DOCSET): getters/$(DOCSET).sh
 
 # Convert to dash docset using python script
 $(DOCSET).docset: $(DOCSET) mandocset.py
+ifndef EXECUTABLE
 	python3 mandocset.py -o $(DOCSET) -p $(DOCSET)/
+else
+	python3 mandocset.py -o $(DOCSET) -p $(DOCSET)/ -e "$(EXECUTABLE)"
+endif
 
 # Remove generated files/directories
 .PHONY: clean