commit | 38d53451b74d10f5b2045878e907ea510d94aed0 | [log] [tgz] |
---|---|---|
author | Fred Drake <fdrake@acm.org> | Sat May 25 20:28:46 2002 +0000 |
committer | Fred Drake <fdrake@acm.org> | Sat May 25 20:28:46 2002 +0000 |
tree | d3663055dac14e2e9434ebdaba4b4b81514259e9 | |
parent | 9fc8a29663268a3ed5b8db15c4b7b7786f80e13e [diff] [blame] |
Define the "all" target more reasonably, but retain "html" as the default target.
diff --git a/Doc/Makefile b/Doc/Makefile index 8c2c4ed..49608da 100644 --- a/Doc/Makefile +++ b/Doc/Makefile
@@ -166,7 +166,8 @@ # Main target -all: html +default: html +all: html dvi ps pdf isilo dvi: $(DVIFILES) pdf: $(PDFFILES)