mirror of
https://gitlab.freedesktop.org/libinput/libinput.git
synced 2025-12-21 22:30:06 +01:00
6fa0c9aa97
Original script was broken, curse those last-minute changes before pushing Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
11 lines
265 B
Bash
Executable file
11 lines
265 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)
|
|
|
|
rsync --delete -avz doc/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/latest
|