diff --git a/Doc/Makefile b/Doc/Makefile
index cb6008e..1ab0c13 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -90,17 +90,17 @@
 # Main target
 all:	all-ps
 
-all-dvi:
+all-dvi dvi:
 	(cd paper-$(PAPER); \
 		$(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) \
 		-f ../Makefile do-dvi)
 
-all-pdf:
+all-pdf pdf:
 	(cd paper-$(PAPER); \
 		$(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) \
 		-f ../Makefile do-pdf)
 
-all-ps:
+all-ps ps:
 	(cd paper-$(PAPER); \
 		$(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) \
 		-f ../Makefile do-ps)