Age | Commit message (Expand) | Author |
---|---|---|
2019-04-18 | Make separate sites-building directory. | Marcello Stanisci |
2019-04-18 | Sites updaters. | Marcello Stanisci |
2019-02-22 | Adapt docs landing deployment to latest changes. | Marcello Stanisci |
2019-02-22 | Update docs landing deployment. | Marcello Stanisci |
2019-02-22 | Update docs landing deployment. | Marcello Stanisci |
2018-09-24 | -r switch needed | Marcello Stanisci |
2018-09-24 | fix directories copying | Marcello Stanisci |
2018-09-24 | nginx + build rules for translated docs landing. | Marcello Stanisci |
2018-02-06 | build docs the same way as blue/green | Florian Dold |