OSDN Git Service

* update_web_docs: Set SOURCEDIR so that install manual can be