diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2013-12-02 20:07:14 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2013-12-02 20:07:14 +0000 |
| commit | 52cacf7207de329a48b63f1a4cf1cb3cef37fdea (patch) | |
| tree | ef796b29099fe7224826e94c12f2f25490b2b0d4 /gcc | |
| parent | b6cfa9eb37ce4234a032dd0d8363b8d22334e739 (diff) | |
| download | gcc-52cacf7207de329a48b63f1a4cf1cb3cef37fdea.zip gcc-52cacf7207de329a48b63f1a4cf1cb3cef37fdea.tar.gz gcc-52cacf7207de329a48b63f1a4cf1cb3cef37fdea.tar.bz2 | |
update_web_docs_svn: Work around makeinfo generated file names and references with "_002d" instead...
* update_web_docs_svn: Work around makeinfo generated file names
and references with "_002d" instead of "-".
From-SVN: r205600
Diffstat (limited to 'gcc')
0 files changed, 0 insertions, 0 deletions