summaryrefslogtreecommitdiffstats
path: root/Doc/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/Makefile')
-rw-r--r--Doc/Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/Doc/Makefile b/Doc/Makefile
index cb6008e..1ab0c13 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -90,17 +90,17 @@ MKPDF= TEXINPUTS=$(TEXINPUTS) $(srcdir)/tools/mkdvi.sh --pdf
# 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)