1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index aabf0130b9..dee97c1b01 100644
--- a/Makefile
+++ b/Makefile
@@ -1307,6 +1307,9 @@ html:
 info:
 	$(MAKE) -C Documentation info
 
+pdf:
+	$(MAKE) -C Documentation pdf
+
 TAGS:
 	$(RM) TAGS
 	$(FIND) . -name '*.[hcS]' -print | xargs etags -a
@@ -1449,6 +1452,9 @@ install-html:
 install-info:
 	$(MAKE) -C Documentation install-info
 
+install-pdf:
+	$(MAKE) -C Documentation install-pdf
+
 quick-install-doc:
 	$(MAKE) -C Documentation quick-install