aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorTeddy Wing2018-11-15 06:20:05 +0100
committerTeddy Wing2018-11-15 06:20:05 +0100
commit2c0a03f56e9f6a8f407383e565b55dbddb64ecbf (patch)
tree5d52e9f3481b274d4277c395284411dc44e58121 /Makefile
parentff49a9c44cb5f993e47dcfac98777a3a026e7e9c (diff)
downloadDomeKey-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--Makefile5
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index d7be0b4..5d0beb4 100644
--- a/Makefile
+++ b/Makefile
@@ -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