aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorTeddy Wing2021-02-27 19:57:07 +0100
committerTeddy Wing2021-02-27 19:57:07 +0100
commitd0f67f89cb1e5fd67bb5c6d23c8b44fe06440daf (patch)
tree79f7c9802c6ddb45b22853a7a9ce6530ebfbba7d /Makefile
parent4792097ca56f278344f18a0a78aaca1278fd146e (diff)
downloadextreload-d0f67f89cb1e5fd67bb5c6d23c8b44fe06440daf.tar.bz2
Add man page
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 8cd0743..ef607db 100644
--- a/Makefile
+++ b/Makefile
@@ -23,3 +23,10 @@ release:
(extreload:main) \
(si:exit)))' \
--eval '(quit)'
+
+
+.PHONY: doc
+doc: doc/extreload.1
+
+doc/extreload.1: doc/extreload.1.txt
+ a2x --no-xmllint --format manpage $<