mirror of
https://gitlab.freedesktop.org/libinput/libinput.git
synced 2025-12-20 16:10:06 +01:00
22 lines
459 B
Bash
Executable file
22 lines
459 B
Bash
Executable file
#!/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
|