diff options
| author | Louie Shprung <lshprung@scu.edu> | 2022-11-24 20:07:45 -0800 |
|---|---|---|
| committer | Louie Shprung <lshprung@scu.edu> | 2022-11-24 21:17:04 -0800 |
| commit | 623e48251d1098007ba8a27e4bc2b7c18d39d8a3 (patch) | |
| tree | 40eb9ccfa9c0cbaaa7fdb4added5a51c20940ae4 /Makefile | |
| parent | 60cf749e9cb8f751346db0d378ac9ed93534db4d (diff) | |
Added way to specify alternative executable for python script
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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 |