From d0f67f89cb1e5fd67bb5c6d23c8b44fe06440daf Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sat, 27 Feb 2021 19:57:07 +0100
Subject: Add man page

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

(limited to 'Makefile')

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