projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b11cc61) | patch
update_web_docs: Use makeinfo --html instead of texi2html.
authorJoseph Myers <jsm28@cam.ac.uk>
Mon, 17 Dec 2001 19:39:22 +0000 (19:39 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Mon, 17 Dec 2001 19:39:22 +0000 (19:39 +0000)
commitf488ffcb5db29b01c23c1050e94d53c032685edf
treecb79a6b687f4021f63aa3aae66afd02a59678815tree
parentb11cc6108963f1a0690fd603b91f125144636f98commit | diff
update_web_docs: Use makeinfo --html instead of texi2html.

* update_web_docs: Use makeinfo --html instead of texi2html.
Remove support for pre-3.1 GCC versions.  Build online docs for
gccint manual.

From-SVN: r48120
maintainer-scripts/ChangeLog diff | blob | history
maintainer-scripts/update_web_docs diff | blob | history