fdo-mirrors/libinput
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/libinput/libinput.git synced 2026-02-04 05:50:26 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

tools: fix the publish-doc script

Browse source 
Original script was broken, curse those last-minute changes before pushing

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
This commit is contained in:
Peter Hutterer 2014-06-13 14:43:28 +10:00
parent 2e289b2026
commit 6fa0c9aa97
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tools/publish-doc
View file

@ -2,10 +2,10 @@
set -e
[ -e doc ] || echo "Run this from the project root" && exit 1
[ -e doc ] || (echo "Run this from the project root" && exit 1)
make
[ -e doc/html ] || echo "HTML documentation failed to build" && exit 1
[ -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