projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b6cfa9e) | patch
update_web_docs_svn: Work around makeinfo generated file names and references with...
authorGerald Pfeifer <gerald@pfeifer.com>
Mon, 2 Dec 2013 20:07:14 +0000 (20:07 +0000)
committerGerald Pfeifer <gerald@gcc.gnu.org>
Mon, 2 Dec 2013 20:07:14 +0000 (20:07 +0000)
commit52cacf7207de329a48b63f1a4cf1cb3cef37fdea
treeef796b29099fe7224826e94c12f2f25490b2b0d4tree | snapshot
parentb6cfa9eb37ce4234a032dd0d8363b8d22334e739commit | diff
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
maintainer-scripts/ChangeLog diff | blob | history
maintainer-scripts/update_web_docs_svn diff | blob | history
Domain: System / Toolchain;