diff options
author | Glenn Morris <rgm@gnu.org> | 2009-08-29 02:18:03 +0000 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2009-08-29 02:18:03 +0000 |
commit | 757ac794a50a9c0b180d4fef34fd8bbdb0cab017 (patch) | |
tree | 39f121abe32a1d20e886376195b8ff66afeadd6d /Makefile.in | |
parent | 60b187113b3ca9c57341c880644f90504a0b3ba0 (diff) | |
download | emacs-757ac794a50a9c0b180d4fef34fd8bbdb0cab017.tar.gz |
(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)
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 23 |
1 files changed, 14 insertions, 9 deletions
diff --git a/Makefile.in b/Makefile.in index a3ddec80253..82b0746babc 100644 --- a/Makefile.in +++ b/Makefile.in @@ -807,21 +807,26 @@ dist: .PHONY: info dvi dist check html info-real: - -(cd doc/emacs; $(MAKE) $(MFLAGS) info) - -(cd doc/misc; $(MAKE) $(MFLAGS) info) - -(cd doc/lispref; $(MAKE) $(MFLAGS) info) - -(cd doc/lispintro; $(MAKE) $(MFLAGS) info) + (cd doc/emacs; $(MAKE) $(MFLAGS) info) + (cd doc/misc; $(MAKE) $(MFLAGS) info) + (cd doc/lispref; $(MAKE) $(MFLAGS) info) + (cd doc/lispintro; $(MAKE) $(MFLAGS) info) force-info: -# Note that man/Makefile knows how to -# put the info files in $(srcdir), +# Note that man/Makefile knows how to put the info files in $(srcdir), # so we can do ok running make in the build dir. +# This used to have a clause that exited with an error if MAKEINFO = no. +# But it is inappropriate to do so without checking if makeinfo is +# actually needed - it is not if the info files are up-to-date. (Bug#3982) +# Only the doc/*/Makefiles can decide that, so we let those rules run +# and give a standard error if makeinfo is needed but missing. +# While it would be nice to give a more detailed error message, that +# would require changing every rule in doc/ that builds an info file, +# and it's not worth it. This case is only relevant if you download a +# release, then change the .texi files. info: force-info @if test "$(MAKEINFO)" = "off"; then \ echo "Configured --without-makeinfo, not building manuals" ; \ - elif test "$(MAKEINFO)" = "no"; then \ - echo "makeinfo is missing - cannot build manuals" ; \ - exit 1 ; \ else \ $(MAKE) $(MFLAGS) info-real ; \ fi |