From 2c0a03f56e9f6a8f407383e565b55dbddb64ecbf Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Thu, 15 Nov 2018 06:20:05 +0100
Subject: Add doc/dome-key-mappings.7.txt man pageo

This describes the syntax of the `mappings.dkmap` file.
---
 Makefile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'Makefile')

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
 
-- 
cgit v1.2.3