Complete previous change.
authorArnaud Charlet <charlet@gcc.gnu.org>
Wed, 25 Feb 2015 15:47:05 +0000 (16:47 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 25 Feb 2015 15:47:05 +0000 (16:47 +0100)
commitf66172c410cccc9d6d0ff2b96f836fde9cb0b1cb
tree483650abac2050fad8ccd080e4c81fae6ec7e15f
parent8200e6f19aed5ed8003dc7d3a80f9db16f78f6e1
Complete previous change.

From-SVN: r220973
maintainer-scripts/update_web_docs_svn