From e2f2d33fbe146846dfd44eedd9b36c7cd2794931 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sat, 14 Oct 2017 11:25:04 +0200
Subject: add build system for onboarding docs

---
 doc/Makefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 doc/Makefile

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644
index 0000000..0c9f835
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,13 @@
+all: onboarding.pdf onboarding.html
+
+onboarding.pdf: onboarding.texi
+	texi2pdf onboarding.texi
+
+onboarding.html: onboarding.texi
+	texi2any --html --no-split --css-ref=docstyle.css --css-ref=brown-paper.css onboarding.texi
+
+clean:
+	rm -f onboarding.html onboarding.pdf
+
+info_TEXINFOS = onboarding.texi
+manual_TEXINFOS = version.texi
-- 
cgit v1.2.3