changed page title of docs.html
Merge branch 'gh-pages-cleanup' into gh-pages