From 38d53451b74d10f5b2045878e907ea510d94aed0 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Sat, 25 May 2002 20:28:46 +0000 Subject: [PATCH] Define the "all" target more reasonably, but retain "html" as the default target. --- Doc/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Doc/Makefile b/Doc/Makefile index 8c2c4eded0d..49608dab93e 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -166,7 +166,8 @@ include Makefile.deps # Main target -all: html +default: html +all: html dvi ps pdf isilo dvi: $(DVIFILES) pdf: $(PDFFILES)