diff options
| -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 f00f896a3e6..9f44e803a89 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 8c42097db1c..cdb6002df1e 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 |