From 95358bb88ee11c5231bae717bb454a58ddc1330a Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Thu, 22 Nov 2018 19:23:23 +0100
Subject: Makefile: Add targets for HTML manual pages

---
 Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Makefile b/Makefile
index 746e801..93009d7 100644
--- a/Makefile
+++ b/Makefile
@@ -109,6 +109,15 @@ doc/dome-key.1.intermediate.txt: doc/dome-key.1.txt $(LAUNCHD_PLIST) LICENSE
 doc/dome-key-mappings.7: doc/dome-key-mappings.7.txt
 	a2x --no-xmllint --format manpage $<
 
+.PHONY: doc-html
+doc-html: doc/dome-key.1.html doc/dome-key-mappings.7.html
+
+doc/dome-key.1.html: doc/dome-key.1.intermediate.txt
+	a2x --no-xmllint --format xhtml $<
+
+doc/dome-key-mappings.7.html: doc/dome-key-mappings.7.txt
+	a2x --no-xmllint --format xhtml $<
+
 
 # Distribution
 
-- 
cgit v1.2.3