OSDN Git Service

* update_web_docs: Eliminate warnings about keeping files from web