tools/publish-doc


1
2
3
4
5
6
7
8
9
10
11

#!/bin/bash

set -e

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

make

[ -e doc/html ] || (echo "HTML documentation failed to build" && exit 1)

rsync --delete -avz doc/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/latest