Fix version number in docs/for gh-pages.