* Makefile.in ($(docobjdir)/%.info): Honor BUILD_INFO.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@72761 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f00f896..9f44e80 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -4,6 +4,7 @@
 
 2003-10-21  Mark Mitchell  <mark@codesourcery.com>
 
+       * Makefile.in ($(docobjdir)/%.info): Honor BUILD_INFO.
        * Makefile.in ($(DESTDIR)$(infodir)/%.info): Conditionalize chmod
        on existence of destination file.
 

diff --git a/gcc/Makefile.in b/gcc/Makefile.in
index 8c42097..cdb6002 100644 (file)
--- a/gcc/Makefile.in
+++ b/gcc/Makefile.in
@@ -2655,8 +2655,10 @@ $(docobjdir)/gccinstall.info gccinstall.dvi: $(TEXI_GCCINSTALL_FILES)
 $(docobjdir)/cppinternals.info cppinternals.dvi: $(TEXI_CPPINT_FILES)
 
 $(docobjdir)/%.info: $(docdir)/%.texi stmp-docobjdir
-       $(MAKEINFO) $(MAKEINFOFLAGS) -I $(docdir) -I $(docdir)/include \
-         -o $@ $<
+       if [ x$(BUILD_INFO) = xinfo ]; then \
+               $(MAKEINFO) $(MAKEINFOFLAGS) -I $(docdir) \
+                       -I $(docdir)/include -o $@ $<; \
+       fi
 
 dvi:: gcc.dvi gccint.dvi gccinstall.dvi cpp.dvi cppinternals.dvi