diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2018-05-01 17:26:36 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2018-05-01 17:26:36 +0200 |
| commit | 00ef0d038de4a016626a77704a539e021c2837da (patch) | |
| tree | 01a252b2d5bd07c641782647ec8f636c4a175b65 /configure | |
| parent | 8c2e1d6ca5497c08ec72abe9da93e4a7869e0f0e (diff) | |
| download | gcc-00ef0d038de4a016626a77704a539e021c2837da.zip gcc-00ef0d038de4a016626a77704a539e021c2837da.tar.gz gcc-00ef0d038de4a016626a77704a539e021c2837da.tar.bz2 | |
re PR web/85578 (broken links in gcc-8.0.1-RC-20180427/INSTALL/specific.html, and out of date prerequisites.html)
PR web/85578
* doc/install.texi2html: Replace _002d with - and _002a with * in
generated html files using sed.
From-SVN: r259799
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions