diff options
| author | Manuel López-Ibáñez <manu@gcc.gnu.org> | 2007-10-01 02:38:31 +0000 |
|---|---|---|
| committer | Manuel López-Ibáñez <manu@gcc.gnu.org> | 2007-10-01 02:38:31 +0000 |
| commit | a1e6d1ce6cdf021a79783e18fab1410604f63fe0 (patch) | |
| tree | 2f1abe8f8b26dd138db603e89cef4bd9718dac79 | |
| parent | 1c2ce5beff5407c02cf97d891b6b63b2612fea4b (diff) | |
| download | gcc-a1e6d1ce6cdf021a79783e18fab1410604f63fe0.zip gcc-a1e6d1ce6cdf021a79783e18fab1410604f63fe0.tar.gz gcc-a1e6d1ce6cdf021a79783e18fab1410604f63fe0.tar.bz2 | |
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
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/Makefile.in | 4 |
2 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8cec162c..7a97202 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 2e522d5..c3fe42a 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 |