publish-doc 349 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
#!/bin/bash

set -e

[ -e doc ] || (echo "Run this from the project root" && exit 1)

make

DOC_HTML=./doc/publican/Wayland/en-US/html/

[ -e "${DOC_HTML}" ] || (echo "HTML documentation failed to build at ${DOC_HTML}" && exit 1)

chmod -R g+x ${DOC_HTML}

rsync --delete -avz ${DOC_HTML} freedesktop.org:/srv/wayland.freedesktop.org/www/docs/html/