diff options
author | Teddy Wing | 2018-11-15 06:20:05 +0100 |
---|---|---|
committer | Teddy Wing | 2018-11-15 06:20:05 +0100 |
commit | 2c0a03f56e9f6a8f407383e565b55dbddb64ecbf (patch) | |
tree | 5d52e9f3481b274d4277c395284411dc44e58121 /Makefile | |
parent | ff49a9c44cb5f993e47dcfac98777a3a026e7e9c (diff) | |
download | DomeKey-2c0a03f56e9f6a8f407383e565b55dbddb64ecbf.tar.bz2 |
Add doc/dome-key-mappings.7.txt man pageo
This describes the syntax of the `mappings.dkmap` file.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -89,7 +89,7 @@ run: build # Documentation .PHONY: doc -doc: doc/dome-key.1 +doc: doc/dome-key.1 doc/dome-key-mappings.7 .PHONY: clean-doc doc-clean: doc/dome-key.1.intermediate.txt @@ -102,6 +102,9 @@ doc/dome-key.1.intermediate.txt: doc/dome-key.1.txt $(LAUNCHD_PLIST) sed 's/^/ /' $(LAUNCHD_PLIST) | \ perl -0777 -pe '$$plist = <STDIN>; s/\$$\{PLIST}\n/$${plist}/' $< > $@ +doc/dome-key-mappings.7: doc/dome-key-mappings.7.txt + a2x --no-xmllint --format manpage $< + # Distribution |