2013-07-19 1803: rebuilt docs for gh-pages