diff --git a/Makefile.in b/Makefile.in
index 7e4e1311e..659887b0b 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -53,7 +53,7 @@ prep:
 META-FAQ: FORCE
 	@cd Doc && $(MAKE) $(MAKEDEFS) ../META-FAQ
 
-dvi ps html info:
+dvi ps html info pdf:
 	@cd Doc && $(MAKE) $(MAKEDEFS) $@
 
 # ========== DEPENDENCIES FOR INSTALLING ==========