(info-real): Don't ignore errors from doc Makefiles.
authorGlenn Morris <rgm@gnu.org>
Sat, 29 Aug 2009 02:18:03 +0000 (02:18 +0000)
committerGlenn Morris <rgm@gnu.org>
Sat, 29 Aug 2009 02:18:03 +0000 (02:18 +0000)
commitffd8aba987e020c7b272766a60de9e7ff5f1dd28
tree38a239770483f5db6a874f5673fc29c17fc2b590
parentefbc652a8f2fece5ddb2b971444155d9bfd20cad
(info-real): Don't ignore errors from doc Makefiles.
(info): Don't give an error in the absence of makeinfo - let the doc
Makefiles do that, if the info files need rebuilding.  (Bug#3982)
ChangeLog
Makefile.in