meew0 0296a71793 Improve the docs building process (#834) ... * Add a script to automatically build and push docs This script will checkout the repo in the `docs` branch, then build the docs locally, copy it to that repo, commit and push. It is designed to be used in conjunction with Travis. * Add unencrypted deploy keys to the gitignore * Make Travis automatically execute the deploy script * Add the encrypted deploy key * Update the .travis.yml with the necessary information		2016-10-26 15:54:53 +01:00
..
deploy.sh	Improve the docs building process (#834)	2016-10-26 15:54:53 +01:00
deploy_key.enc	Improve the docs building process (#834)	2016-10-26 15:54:53 +01:00