back to a custom script to deploy the doc to avoid to mess up travis
3 files changed