tree 2874dd2d763a717d6f5c31802725e1327ddf1310
parent 3a5f09b8c3ae6a0e63d76a5b6045b80dad3e9909
author Philip Jägenstedt <philip@foolip.org> 1618390934 +0200
committer jgraham <james@hoppipolla.co.uk> 1618397294 +0100

[docs] avoid the use of Docker to build/deploy documentation

Since the Docker image was so minimal, we can just use GitHub Actions
agents directly for this.