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

tools: update the publish-doc tool to use ninja

Browse source 
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
This commit is contained in:
Peter Hutterer 2017-06-13 12:28:37 +10:00
parent b3779caef7
commit 44b9dca9d5
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
tools/publish-doc
View file

@ -4,9 +4,13 @@ set -e
[ -e doc ] || (echo "Run this from the project root" && exit 1)
make
if ! [ -f build/build.ninja ]; then
echo "Setting up meson in directory 'build'"
meson build
fi
ninja -C build
[ -e doc/html ] || (echo "HTML documentation failed to build" && exit 1)
[ -e build/html ] || (echo "HTML documentation failed to build" && exit 1)
path=latest
@ -15,4 +19,4 @@ if [ -n "$1" ]; then
path="$1"
fi
rsync --delete -avz doc/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/$path
rsync --delete -avz build/html/ freedesktop.org:/srv/wayland.freedesktop.org/www/libinput/doc/$path