* doc/install.texi2html: Generate gcc-vers.texi in $DESTDIR not
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 20 May 2008 16:21:31 +0000 (16:21 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 20 May 2008 16:21:31 +0000 (16:21 +0000)
commit79f39dd4909403e1faedabba36110f5d9979d087
tree2dc875de6e13e4fb366d803403c76bffe0061138
parent8ceddf57e351c5a93a22a0e85063477f8193f825
* doc/install.texi2html: Generate gcc-vers.texi in $DESTDIR not
$SOURCEDIR/include.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135664 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/doc/install.texi2html