Commit graph

12 commits

Author SHA1 Message Date
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
mcarton
d80436f9f2
Add a issue template and specify a *recent* nightly is needed 2016-06-10 13:47:47 +02:00