diff options
| author | Glenn Morris <rgm@gnu.org> | 2008-05-03 20:16:45 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2008-05-03 20:16:45 +0000 |
| commit | 79bc8bbb21e553f853a7c7e060f64c02426d0d73 (patch) | |
| tree | 196e5349fa03e83413a94dc2a99dcfe07ad673b5 /Makefile.in | |
| parent | 4c18f8b45c81f17023dd2f5e99850dfde73ab047 (diff) | |
| download | emacs-79bc8bbb21e553f853a7c7e060f64c02426d0d73.tar.gz | |
(MAKEINFO): New, set by configure.
(install-arch-indep): Without makeinfo, ignore any missing manuals.
(info-real): New target.
(info): Without makeinfo, do nothing, else call `info-real'.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 19 |
1 files changed, 15 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index 329ba07361b..8307c9d4ce9 100644 --- a/Makefile.in +++ b/Makefile.in @@ -84,6 +84,7 @@ CPPFLAGS=@CPPFLAGS@ C_SWITCH_X_SITE=@C_SWITCH_X_SITE@ LD_SWITCH_X_SITE=@LD_SWITCH_X_SITE@ EXEEXT=@EXEEXT@ +MAKEINFO=@MAKEINFO@ ### These help us choose version- and architecture-specific directories ### to install files in. @@ -553,6 +554,7 @@ install-arch-indep: mkdir info install-etc fi; \ cd ${srcdir}/info ; \ for elt in $(INFO_FILES); do \ + test "$(MAKEINFO)" = "no" && ! test -e $$elt && continue; \ for f in `ls $$elt $$elt-[1-9] $$elt-[1-9][0-9] 2>/dev/null`; do \ ${INSTALL_DATA} $$f $(DESTDIR)${infodir}/$$f; \ chmod a+r $(DESTDIR)${infodir}/$$f; \ @@ -564,6 +566,7 @@ install-arch-indep: mkdir info install-etc if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd $(DESTDIR)${infodir} && /bin/pwd)` ]; \ then \ for elt in $(INFO_FILES); do \ + test "$(MAKEINFO)" = "no" && ! test -e $$elt && continue; \ (cd $${thisdir}; \ ${INSTALL_INFO} --info-dir=$(DESTDIR)${infodir} $(DESTDIR)${infodir}/$$elt); \ done; \ @@ -770,15 +773,23 @@ dist: cd ${srcdir}; ./make-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) + force-info: # Note that man/Makefile knows how to # put the info files in $(srcdir), # so we can do ok running make in the build dir. info: force-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) + @if test "$(MAKEINFO)" = "no"; then \ + echo "Configured without makeinfo, not building manuals" ; \ + else \ + $(MAKE) $(MFLAGS) info-real ; \ + fi # The info/dir file must be updated by hand when new manuals are added. check-info-dir: info |