diff options
author | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-10-01 02:38:31 +0000 |
---|---|---|
committer | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-10-01 02:38:31 +0000 |
commit | 120a0e58e0909d7ea1ecc5275b0bbea475ef484c (patch) | |
tree | 2f1abe8f8b26dd138db603e89cef4bd9718dac79 /Makefile.in | |
parent | 671c8556fe7bdfe2dd4eb79b4ab3b36c5a69a2c5 (diff) | |
download | gcc-120a0e58e0909d7ea1ecc5275b0bbea475ef484c.tar.gz |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128900 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions