diff options
author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-17 19:39:22 +0000 |
---|---|---|
committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-17 19:39:22 +0000 |
commit | c71e29608c68e5f40b01a75a1d4b7849fdfa4f94 (patch) | |
tree | cb79a6b687f4021f63aa3aae66afd02a59678815 /gcc/doc/install.texi2html | |
parent | f5b3605162e7cf7807500e78f989b0ecf169cd28 (diff) | |
download | gcc-c71e29608c68e5f40b01a75a1d4b7849fdfa4f94.tar.gz |
* update_web_docs: Use makeinfo --html instead of texi2html.
Remove support for pre-3.1 GCC versions. Build online docs for
gccint manual.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@48120 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc/install.texi2html')
0 files changed, 0 insertions, 0 deletions