| commit | 063251ecf737735881b7cdc5fdc5e15936023afa | |
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 1 May 2018 15:26:36 +0000 (1 15:26 +0000) | ||
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 1 May 2018 15:26:36 +0000 (1 15:26 +0000) | ||
| tree | 01a252b2d5bd07c641782647ec8f636c4a175b65 | treesnapshot (tar.gz zip) |
| parent | d9e1c07c4e006d9e65c14958516e4bd8dde9c993 | commitdiff |
PR web/85578
* doc/install.texi2html: Replace _002d with - and _002a with * in
generated html files using sed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@259799 138bc75d-0d04-0410-961f-82ee72b054a4
* doc/install.texi2html: Replace _002d with - and _002a with * in
generated html files using sed.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@259799 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/doc/install.texi2html | diffblobblamehistory |