aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
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 $<