Don't ignore makeinfo errors.

diff --git a/Doc/Makefile b/Doc/Makefile
index ad1a3cbb48e4a5796f710576e2e32d2aeada70a0..89d82373985842c70aee94ee2bce334d8e0d64bf 100644 (file)
--- 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,