1 #!/bin/bash 2 3 set -e 4 5 [ -e doc ] || (echo "Run this from the project root" && exit 1) 6 7 make 8 9 DOC_HTML=./doc/publican/Wayland/en-US/html/ 10 11 [ -e "${DOC_HTML}" ] || (echo "HTML documentation failed to build at ${DOC_HTML}" && exit 1) 12 13 chmod -R g+x ${DOC_HTML} 14 15 rsync --delete -avz ${DOC_HTML} freedesktop.org:/srv/wayland.freedesktop.org/www/docs/html/ 16
