tools/publish-doc

   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 [ -e doc/html ] || echo "HTML documentation failed to build" && exit 1
  10
  11 rsync --delete -avz doc/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/latest