travis: actually fix putdocs?