From 566d20951d2192ffe7ff77e367227208e014bcc2 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Fri, 8 May 1998 02:00:48 +0000
Subject: [PATCH] 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.
---
 Doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/Makefile b/Doc/Makefile
index f080215963d..b8d0535aae3 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -89,7 +89,7 @@ MKHTML=		TEXINPUTS=$(TEXINPUTS) $(srcdir)/tools/mkhtml.sh
 MKPDF=		TEXINPUTS=$(TEXINPUTS) $(srcdir)/tools/mkdvi.sh --pdf
 
 # Main target
-all:
+all:	all-ps
 
 all-dvi:
 	(cd paper-$(PAPER); $(MAKE) all-dvi)