diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..a6fd474 --- /dev/null +++ b/Makefile @@ -0,0 +1,30 @@ +all: begin $(DOCSET) $(DOCSET).docset + +# Check that DOCSET is set +.PHONY: begin +begin: +ifndef DOCSET + $(error Error: DOCSET is not defined) +endif + +# Get DOCSET from system files +$(DOCSET): getters/$(DOCSET).sh + rm -rf $(DOCSET) + getters/$(DOCSET).sh + +# Convert to dash docset using python script +$(DOCSET).docset: $(DOCSET) mandocset.py + python3 mandocset.py -o $(DOCSET) -p $(DOCSET)/ + +# Remove generated files/directories +.PHONY: clean +clean: begin + rm -rf $(DOCSET) + rm -rf $(DOCSET).docset + rm -rf $(DOCSET).tgz + +# Create .tgz archive of generated docset directory +.PHONY: tgz +tgz: begin $(DOCSET).tgz +$(DOCSET).tgz: $(DOCSET).docset + tar --exclude='.DS_Store' -cvzf $(DOCSET).tgz $(DOCSET).docset |