OSDN Git Service

* doc/sourcebuild.texi (Texinfo Manuals): Change update_web_docs