14 commits

Author	SHA1	Message	Date
Philipp Hansch	38d4ac7cea	Remove all copyright license headers ... Discussion previously happened in https://github.com/rust-lang/rust/pull/43498	2019-01-08 21:46:39 +01:00
Manish Goregaokar	23e5e24f52	Add license header to other files	2018-10-06 09:43:08 -07:00
Philipp Hansch	9e6dc8d2d5	Add exec bit, add set -ex to ci test files	2018-05-16 18:55:21 +02:00
Philipp Hansch	bdba9c14e7	Add set -x for debugging	2018-04-11 08:23:02 +02:00
Philipp Hansch	8fbeaa81d8	Debug deployment script issues ... This prints some more information during the docs deployment.	2018-04-11 08:13:59 +02:00
Pascal Hertleif	b3c90efcb4	Generate version index for docs domain index ... Uses basically the same code as the lint docs page as I didn't want to reinvent anything: A simple python script (inline in deploy script) writes an array of versions to a JSON file, which gets turned into a list of links using a bit of angular.js code. Fixes #1917	2017-08-03 21:21:59 +02:00
mcarton	495f4bbf9f	Fix Travis not pushing gh-pages for tags ... Turns out $TRAVIS_BRANCH is the tag name for tags.	2016-08-17 15:25:21 +02:00
mcarton	e3559ec4fc	Revert "Maybe fix deploy.sh" ... This reverts commit c6c8560861.	2016-07-19 23:08:41 +02:00
mcarton	8587bbe922	Add encryption label to deploy.sh ... Aka. “Fix deploy.sh IV”	2016-07-19 23:00:36 +02:00
mcarton	1155925305	Fix deploy.sh III	2016-07-19 22:48:52 +02:00
mcarton	e8c54edfe1	Fix deploy.sh II	2016-07-19 22:42:09 +02:00
mcarton	c6c8560861	Maybe fix deploy.sh	2016-07-19 22:27:39 +02:00
mcarton	3fab9a8970	Fix deploy.sh and python2 usage	2016-07-19 22:07:39 +02:00
mcarton	01c61a714b	Setup automatic push of gh-pages	2016-07-19 21:26:16 +02:00