install.texi2html: Generate gcc-vers.texi in $DESTDIR not $SOURCEDIR/include.
authorJoseph Myers <joseph@codesourcery.com>
Tue, 20 May 2008 16:21:31 +0000 (17:21 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Tue, 20 May 2008 16:21:31 +0000 (17:21 +0100)
commitf30fad6135c1603294b980340dc471874195aebb
tree2dc875de6e13e4fb366d803403c76bffe0061138
parent5b78fc3ed4960c5eda8ec76ab2e86548c51a6811
install.texi2html: Generate gcc-vers.texi in $DESTDIR not $SOURCEDIR/include.

* doc/install.texi2html: Generate gcc-vers.texi in $DESTDIR not
$SOURCEDIR/include.

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