From a1e6d1ce6cdf021a79783e18fab1410604f63fe0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20L=C3=B3pez-Ib=C3=A1=C3=B1ez?= <manu@gcc.gnu.org> Date: Mon, 1 Oct 2007 02:38:31 +0000 Subject: [PATCH] re PR other/33585 (make html does not work for install files) 2007-10-01 Manuel Lopez-Ibanez <manu@gcc.gnu.org> PR other/33585 * Makefile.in (build_html_dir/gccinstall): gccinstall.texi needs to be processed with the special script doc/install.texi2html. From-SVN: r128900 --- gcc/ChangeLog | 6 ++++++ gcc/Makefile.in | 4 +++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8cec162c5bba..7a972022a6a1 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-10-01 Manuel Lopez-Ibanez <manu@gcc.gnu.org> + + PR other/33585 + * Makefile.in (build_html_dir/gccinstall): gccinstall.texi needs + to be processed with the special script doc/install.texi2html. + 2007-09-30 Manuel Lopez-Ibanez <manu@gcc.gnu.org> * doc/invoke.texi (Wall): List the options enabled by Wall. diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 2e522d59931f..c3fe42a9cd51 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -3726,7 +3726,9 @@ $(build_htmldir)/%/index.html: %.texi $(build_htmldir)/gccinstall/index.html: $(TEXI_GCCINSTALL_FILES) $(mkinstalldirs) $(@D) echo rm -f $(@D)/* - $(TEXI2HTML) -I $(abs_docdir) -I $(abs_docdir)/include -o $(@D) $< + SOURCEDIR=$(abs_docdir) \ + DESTDIR=$(@D) \ + $(SHELL) $(srcdir)/doc/install.texi2html MANFILES = doc/gcov.1 doc/cpp.1 doc/gcc.1 doc/gfdl.7 doc/gpl.7 doc/fsf-funding.7 -- GitLab