aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile10
1 files changed, 10 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index ac5b589..921fb82 100644
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,9 @@
# along with Incdec. If not, see <https://www.gnu.org/licenses/>.
+MAN_PAGE := doc/incdec.7
+
+
.PHONY: all
all: incdec.bash
@@ -32,3 +35,10 @@ incdec.pl: incdec.m4.pl incdec.pm
.PHONY: test
test:
prove -v
+
+
+.PHONY: doc
+doc: $(MAN_PAGE)
+
+$(MAN_PAGE): $(MAN_PAGE).txt
+ a2x --no-xmllint --format manpage $<