Historically, I copied the docs on the server directly after pushing latest,
but (especially with meson) it's a lot easier to just build that specific tag
locally and rsync it to the correct target directory.
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
Don't hardcode /bin/bash, use /usr/bin/env bash instead, since not all
platforms install bash as /bin/bash.
FreeBSD, as an example, installs bash in /usr/local/bin/bash by default.
Signed-off-by: Niclas Zeising <zeising@daemonic.se>
