libinput/tools/publish-doc

#!/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)

path=latest

if [ -n "$1" ]; then
	echo "Pushing to directory '$1'"
	path="$1"
fi

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