* doc/install.texi: Further fix syntax for html generation
authorArnaud Charlet <charlet@adacore.com>
Tue, 5 Nov 2019 11:46:29 +0000 (11:46 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 5 Nov 2019 11:46:29 +0000 (12:46 +0100)
commitdd2f3208c17a65184e4f4271e41fce7c7cddebc5
tree5e35130e1149c21522debd89f2aa6a333ec27815
parentdbe348c157796a1d01de6f6a7b432a6e70b5fb0d
* doc/install.texi: Further fix syntax for html generation

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