| commit | 566d20951d2192ffe7ff77e367227208e014bcc2 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Fri May 08 02:00:48 1998 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Fri May 08 02:00:48 1998 +0000 |
| tree | efdefddc7baf30a5e0c2110c9e86c23ccf385278 | |
| parent | 19c7c84db887f660b282c6b41993aa24936d4bbf [diff] [blame] |
Oops! Must have deleted a word by accident before the last check-in of this file; "make" (the 'all' target) became a no-op! Now works as previously described.
diff --git a/Doc/Makefile b/Doc/Makefile index f080215..b8d0535 100644 --- a/Doc/Makefile +++ b/Doc/Makefile
@@ -89,7 +89,7 @@ MKPDF= TEXINPUTS=$(TEXINPUTS) $(srcdir)/tools/mkdvi.sh --pdf # Main target -all: +all: all-ps all-dvi: (cd paper-$(PAPER); $(MAKE) all-dvi)