# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1209845792 0
# Node ID bc725ee2bc85379a4ce944c5d0908d52ddd86e7e
# Parent  100982f1144d20de2db6ff1e7331494d5d89c17a
(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'.

diff -r 100982f1144d -r bc725ee2bc85 Makefile.in
--- a/Makefile.in	Sat May 03 20:16:15 2008 +0000
+++ b/Makefile.in	Sat May 03 20:16:32 2008 +0000
@@ -84,6 +84,7 @@
 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 @@
 	   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 @@
 	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 @@
 	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