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

tools: drop the publish-doc tool

Browse source 
libinput docs must be pushed to wayland's web git repository now

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
This commit is contained in:
Peter Hutterer 2018-06-06 11:15:38 +10:00
parent 94dba68f96
commit 1c325e988f
1 changed files with 0 additions and 22 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
tools/publish-doc
View file

@ -1,22 +0,0 @@
#!/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