* update_web_docs_svn: Work around makeinfo generated file names
commit5a280a92a29a7f18a7b1f578c7d22710280fecbe
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 2 Dec 2013 20:07:14 +0000 (2 20:07 +0000)
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 2 Dec 2013 20:07:14 +0000 (2 20:07 +0000)
treeef796b29099fe7224826e94c12f2f25490b2b0d4
parentf54a4e29010345eaf8ccc1034eb7a1d4312c4a7d
* update_web_docs_svn: Work around makeinfo generated file names
and references with "_002d" instead of "-".

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@205600 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs_svn