Added make distrib to prepare generated docs to be pushed to gh-pages.