diff options
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -91,9 +91,12 @@ run: build .PHONY: doc doc: doc/dome-key.1 +.PHONY: clean-doc +doc-clean: doc/dome-key.1.intermediate.txt + rm $< + doc/dome-key.1: doc/dome-key.1.intermediate.txt a2x --no-xmllint --format manpage $< - rm $< doc/dome-key.1.intermediate.txt: doc/dome-key.1.txt $(LAUNCHD_PLIST) sed 's/^/ /' $(LAUNCHD_PLIST) | \ |