2014-06-05 15:42:49 +10:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
2014-06-13 14:43:28 +10:00
|
|
|
[ -e doc ] || (echo "Run this from the project root" && exit 1)
|
2014-06-05 15:42:49 +10:00
|
|
|
|
2017-06-13 12:28:37 +10:00
|
|
|
if ! [ -f build/build.ninja ]; then
|
|
|
|
|
echo "Setting up meson in directory 'build'"
|
|
|
|
|
meson build
|
|
|
|
|
fi
|
|
|
|
|
ninja -C build
|
2014-06-05 15:42:49 +10:00
|
|
|
|
2017-06-13 12:28:37 +10:00
|
|
|
[ -e build/html ] || (echo "HTML documentation failed to build" && exit 1)
|
2014-06-05 15:42:49 +10:00
|
|
|
|
2016-04-12 07:56:52 +10:00
|
|
|
path=latest
|
|
|
|
|
|
|
|
|
|
if [ -n "$1" ]; then
|
|
|
|
|
echo "Pushing to directory '$1'"
|
|
|
|
|
path="$1"
|
|
|
|
|
fi
|
|
|
|
|
|
2017-06-13 12:28:37 +10:00
|
|
|
rsync --delete -avz build/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/$path
|