From 154bc16d5b170651b1e8e961fe9ec264b42eb95a Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Wed, 6 Jul 2016 10:38:12 +0200
Subject: [PATCH] Add makefile to generate all PDFs and HTML pages at once

---
 Makefile | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 Makefile

diff --git a/Makefile b/Makefile
new file mode 100644
index 000000000..89b4c6500
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,19 @@
+all: admin-manual user-manual developer-manual
+
+admin-manual:
+	cd admin_manual && make latexpdf
+	rm -rf admin_manual/_build/html/com
+	cd admin_manual && make html
+	@echo "Admin manual build finished; PDF and HTML is updated"
+
+user-manual:
+	cd user_manual && make latexpdf
+	rm -rf user_manual/_build/html/org
+	cd user_manual && make html
+	@echo "User manual build finished; PDF and HTML is updated"
+
+developer-manual:
+	cd developer_manual && make latexpdf
+	rm -rf developer_manual/_build/html/com
+	cd developer_manual && make html
+	@echo "Developer manual build finished; PDF and HTML is updated"