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