2 Commits

Author	SHA1	Message	Date
meew0	e85fd4482f	Fix the secret Travis details ... Apparently the environment variables weren't correctly stored last time, so they had to be regenerated.	2016-10-26 17:02:01 +02:00
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