* Makefile.in ($(docobjdir)/%.info): Honor BUILD_INFO.
authorMark Mitchell <mark@codesourcery.com>
Tue, 21 Oct 2003 17:36:17 +0000 (17:36 +0000)
committerMark Mitchell <mmitchel@gcc.gnu.org>
Tue, 21 Oct 2003 17:36:17 +0000 (17:36 +0000)
From-SVN: r72761

gcc/ChangeLog
gcc/Makefile.in

index f00f896a3e6b396387ee8b1ebc5d4d66a9fccc4f..9f44e803a89e9f942791cdffe476ad4817ef4e34 100644 (file)
@@ -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.
 
index 8c42097db1ce68abab6cabebccdb3a99bba6dbb8..cdb6002df1e1d4cfd4f84b59302d6093bb27dbcd 100644 (file)
@@ -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