install.texi: Remove special markup originally required for HTML generation with...
authorGerald Pfeifer <pfeifer@dbai.tuwien.ac.at>
Tue, 14 May 2002 10:38:46 +0000 (12:38 +0200)
committerGerald Pfeifer <gerald@gcc.gnu.org>
Tue, 14 May 2002 10:38:46 +0000 (10:38 +0000)
commita12f97f0b32aaa7836632fe5ee6ec5b551fe75a9
treec50d75c4f61dc24c8468ec8c48368d07dfeff10b
parent29f21e4f7028e0f7ba185c1663ca37dabe1f8a19
install.texi: Remove special markup originally required for HTML generation with texi2html.

* doc/install.texi: Remove special markup originally required for
HTML generation with texi2html.

From-SVN: r53453
gcc/ChangeLog
gcc/doc/install.texi