diff options
Diffstat (limited to 'gcc/ChangeLog')
| -rw-r--r-- | gcc/ChangeLog | 6 |
1 files changed, 6 insertions, 0 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. |