diff options
| author | Teddy Wing | 2018-11-22 19:23:23 +0100 |
|---|---|---|
| committer | Teddy Wing | 2018-11-22 19:23:23 +0100 |
| commit | 95358bb88ee11c5231bae717bb454a58ddc1330a (patch) | |
| tree | c7cc7c893a3673db807db8115e0d67f50a52ef7b | |
| parent | 6efa822790eb6857820787594530fe8a05093d6a (diff) | |
| download | DomeKey-95358bb88ee11c5231bae717bb454a58ddc1330a.tar.bz2 | |
Makefile: Add targets for HTML manual pages
| -rw-r--r-- | Makefile | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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 |