summaryrefslogtreecommitdiff
path: root/tools/publish-doc
blob: 1a91e1a64e23578cd454a52a402171a825d3feca (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#!/bin/bash

set -e

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

if ! [ -f build/build.ninja ]; then
	echo "Setting up meson in directory 'build'"
	meson build
fi
ninja -C build

[ -e build/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 build/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/$path