Don't ignore makeinfo errors.

1998-02-19 21:40:51 +00:00 · 1998-02-19 21:40:51 +00:00 · f7f2e70fd4
parent 9c7c6bec98
commit f7f2e70fd4
1 changed files with 1 additions and 1 deletions
--- 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,