re PR other/31955 (gcc_release does not generate HTML files from install manual)
authorJoseph Myers <joseph@codesourcery.com>
Fri, 25 Jan 2008 21:34:38 +0000 (21:34 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Fri, 25 Jan 2008 21:34:38 +0000 (21:34 +0000)
commit3725c0cab37a26f998242bcff23b4b0fdc900de5
tree8d6ce40d9815e34941e78a9f0d7b88b665787abd
parent291de7fcab844bdf60b88c4a7da34d21ad1d99a1
re PR other/31955 (gcc_release does not generate HTML files from install manual)

PR other/31955
* doc/install.texi2html: Generate gcc-vers.texi.

From-SVN: r131842
gcc/ChangeLog
gcc/doc/install.texi2html