From 465a42a58ef0ab767b1e0c557393b098521f4628 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Thu, 23 Jul 1998 18:10:51 +0000 Subject: [PATCH] Added targets dvi, pdf, and ps, to make all of the documents in those formats. --- Doc/Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Doc/Makefile b/Doc/Makefile index cb6008e159..1ab0c13505 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) -- 2.40.0