From 623e48251d1098007ba8a27e4bc2b7c18d39d8a3 Mon Sep 17 00:00:00 2001
From: Louie Shprung <lshprung@scu.edu>
Date: Thu, 24 Nov 2022 20:07:45 -0800
Subject: Added way to specify alternative executable for python script

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'Makefile')

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
-- 
cgit