1 files changed, 18 insertions, 0 deletions
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