summaryrefslogtreecommitdiff
path: root/doc/Makefile
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2017-10-14 11:25:04 +0200
committerChristian Grothoff <christian@grothoff.org>2017-10-14 11:25:04 +0200
commite2f2d33fbe146846dfd44eedd9b36c7cd2794931 (patch)
tree3607849dc10503a1435e9aaf4ac02643e86cb85a /doc/Makefile
parentab3b15f231fac50be793b5bab6ee9aad6b23396d (diff)
downloaddeployment-e2f2d33fbe146846dfd44eedd9b36c7cd2794931.tar.gz
deployment-e2f2d33fbe146846dfd44eedd9b36c7cd2794931.tar.bz2
deployment-e2f2d33fbe146846dfd44eedd9b36c7cd2794931.zip
add build system for onboarding docs
Diffstat (limited to 'doc/Makefile')
-rw-r--r--doc/Makefile13
1 files changed, 13 insertions, 0 deletions
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