From 0745e7944cf44c3ba490674fabd99d5725cbb1f8 Mon Sep 17 00:00:00 2001
From: Teddy Wing
Date: Sat, 20 Mar 2021 12:24:52 +0100
Subject: Add man page

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1195476..262b917 100644
--- a/Makefile
+++ b/Makefile
@@ -18,6 +18,8 @@ SOURCES := $(shell find src -name '*.rs')
 
 DEBUG_PRODUCT := target/debug/ottolangy
 
+MAN_PAGE := doc/ottolangy.1
+
 
 $(DEBUG_PRODUCT): $(SOURCES)
 	cargo build
@@ -25,3 +27,10 @@ $(DEBUG_PRODUCT): $(SOURCES)
 .PHONY: test
 test: $(DEBUG_PRODUCT)
 	prove -v -I./t
+
+
+.PHONY: doc
+doc: $(MAN_PAGE)
+
+$(MAN_PAGE): doc/ottolangy.1.txt
+	a2x --no-xmllint --format manpage $<
-- 
cgit v1.2.3