OSDN Git Service

* doc/sourcebuild.texi (Texinfo Manuals): Change update_web_docs
authorian <ian@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 8 Dec 2010 23:37:30 +0000 (23:37 +0000)
committerian <ian@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 8 Dec 2010 23:37:30 +0000 (23:37 +0000)
to update_web_docs_svn.
(Front End): Likewise.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@167612 138bc75d-0d04-0410-961f-82ee72b054a4


No differences found