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)
commitd0e367f0b93d6a5d2e1dc68a72fb4da8350ecda0
tree98da59c8695b078bafc397a8ec13c52144a36c26
parentffa7199b715227a0c76abb772aac80a7e3a19a9b
* doc/sourcebuild.texi (Texinfo Manuals): Change update_web_docs
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
gcc/ChangeLog
gcc/doc/sourcebuild.texi