From 759b8b0cf97c21d897c0d1929421c803a6619bd1 Mon Sep 17 00:00:00 2001
From: Tom Willemsen
Date: Sun, 6 Jan 2013 15:10:37 +0100
Subject: Add more documentation formats to Makefile

`dvi', `pdf' and `ps' can be compiled/installed by explicitly
specifying `make FORMAT' or `make install-FORMAT'.
---
 Makefile | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index ebe51e9..75355fb 100644
--- a/Makefile
+++ b/Makefile
@@ -13,3 +13,21 @@ $(dirs):
 
 $(install-dirs): install-%:
 	$(MAKE) -C $*/ install
+
+dvi:
+	$(MAKE) -C doc/ dvi
+
+pdf:
+	$(MAKE) -C doc/ pdf
+
+ps:
+	$(MAKE) -C doc/ ps
+
+install-dvi:
+	$(MAKE) -C doc/ install-dvi
+
+install-pdf:
+	$(MAKE) -C doc/ install-pdf
+
+install-ps:
+	$(MAKE) -C doc/ install-ps
-- 
cgit v1.3-2-g0d8e