install.texi (i*86-*-sco3.2v5*): Remove information duplicated in html version.
authorRobert Lipe <robertlipe@usa.net>
Mon, 11 Dec 2000 00:16:22 +0000 (00:16 +0000)
committerRobert Lipe <robertl@gcc.gnu.org>
Mon, 11 Dec 2000 00:16:22 +0000 (00:16 +0000)
commit800635c1fd9c050aa75979d4b558688273b1de0a
tree1aac988daf8d3d71a7fc192cece374969333e3c5
parentc9e02e5dc32cae48e40ad1ffc7b266eea7470866
install.texi (i*86-*-sco3.2v5*): Remove information duplicated in html version.

        * install.texi (i*86-*-sco3.2v5*): Remove information duplicated
        in html version.

From-SVN: r38180
gcc/ChangeLog
gcc/install.texi