diff options
author | Mark Mitchell <mark@codesourcery.com> | 2003-10-21 17:36:17 +0000 |
---|---|---|
committer | Mark Mitchell <mmitchel@gcc.gnu.org> | 2003-10-21 17:36:17 +0000 |
commit | 1f9b3087bb3a84f3d7f5934b915b1a26c89d6047 (patch) | |
tree | f246794a3a56c0d67912103404232b87072c4f27 | |
parent | 156fc2bbdcac687d632e10edc52e501787205adf (diff) | |
download | gcc-1f9b3087bb3a84f3d7f5934b915b1a26c89d6047.zip gcc-1f9b3087bb3a84f3d7f5934b915b1a26c89d6047.tar.gz gcc-1f9b3087bb3a84f3d7f5934b915b1a26c89d6047.tar.bz2 |
* Makefile.in ($(docobjdir)/%.info): Honor BUILD_INFO.
From-SVN: r72761
-rw-r--r-- | gcc/ChangeLog | 1 | ||||
-rw-r--r-- | gcc/Makefile.in | 6 |
2 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f00f896..9f44e80 100644 --- 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 --- 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 |