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

tools: update the doc publish tool to take a subdir

Browse source 
Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
This commit is contained in:
Peter Hutterer 2016-04-12 07:56:52 +10:00
parent 25a9f394fc
commit 817328e171
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
tools/publish-doc
View file

@ -8,4 +8,11 @@ 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
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