Push documentation from travis build 762 to gh-pages.