blob: d88edc3dbaf31303a2b37887b461e6cb868f56c5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/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
|
