diff options
| author | Teddy Wing | 2018-11-14 18:52:05 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-14 18:52:05 +0100 |
| commit | fa2e8d9aa5cd9c5faaf8c161c3a6eb29edf490fc (patch) | |
| tree | 1800a8fc5b9eba4a38af369cb97283749e0fa46a /Makefile | |
| parent | 2b476f51e59326b7dc2449467878d3c0fbea120f (diff) | |
| download | DomeKey-fa2e8d9aa5cd9c5faaf8c161c3a6eb29edf490fc.tar.bz2 | |
Makefile(doc): Don't remove intermediate file
Prevent the man page from always building even without changes to the
input file.
Diffstat (limited to 'Makefile')
| -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) | \ |