diff options
Diffstat (limited to 'Doc/Makefile')
-rw-r--r-- | Doc/Makefile | 6 |
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) |