diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2015-01-03 19:11:50 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2015-01-03 19:12:25 -0800 |
| commit | fec9b792f543c35b1a635b3a3326d496e3ca9012 (patch) | |
| tree | 0455297707a4cb39b4587e18b71d167baf6dacf9 /Makefile.in | |
| parent | 35127c362a47bc0c452791e18111e3411e22aa52 (diff) | |
| download | emacs-fec9b792f543c35b1a635b3a3326d496e3ca9012.tar.gz | |
Clarify 'make info'
* Makefile.in (info): Use GNU make conditional rather than
an '@' rule with a shell conditional, so that the builder can
see the submake.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/Makefile.in b/Makefile.in index 7b271f12424..4cdd293ebd4 100644 --- a/Makefile.in +++ b/Makefile.in @@ -1043,11 +1043,9 @@ uninstall-ps: $(UNINSTALL_PS) # and it's not worth it. This case is only relevant if you download a # release, then change the .texi files. info: - @if test "$(HAVE_MAKEINFO)" = "no"; then \ - echo "Configured --without-makeinfo, not building manuals" ; \ - else \ - $(MAKE) info-real info-dir; \ - fi + ifneq ($(HAVE_MAKEINFO),no) + $(MAKE) info-real info-dir + endif ## build-aux/make-info-dir expects only certain dircategories. check-info: info |