From f7f2e70fd410095353042e35ff82f696c8bdb292 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Thu, 19 Feb 1998 21:40:51 +0000
Subject: Don't ignore makeinfo errors.

---
 Doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/Makefile b/Doc/Makefile
index ad1a3cb..89d8237 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -224,7 +224,7 @@ lib.texi: lib1.texi fix.el
 	mv temp.texi $@
 
 python-lib.info: lib.texi
-	-$(MAKEINFO) --footnote-style end --fill-column 72 \
+	$(MAKEINFO) --footnote-style end --fill-column 72 \
 		     --paragraph-indent 0 $<
 
 # this is needed to prevent a second set of info files from being generated,
-- 
cgit v0.12

