summaryrefslogtreecommitdiff
path: root/buildbot/build-docs.sh
AgeCommit message (Expand)Author
2020-02-23remove dead logicChristian Grothoff
2019-12-15now that buildmaster pulls deployment, do not do so in shell scripts anymoreChristian Grothoff
2019-11-02pathFlorian Dold
2019-11-02fix build-docsFlorian Dold
2019-08-29doc builderFlorian Dold
2019-08-29fix doc builderFlorian Dold
2019-06-10First changes of #5761.Marcello Stanisci
2019-06-10Fix docs builder.Marcello Stanisci
2018-02-06build docs the same way as blue/greenFlorian Dold