From 817328e17132d9a09f1a4cba7b271dec3143feaf Mon Sep 17 00:00:00 2001 From: Peter Hutterer Date: Tue, 12 Apr 2016 07:56:52 +1000 Subject: [PATCH] tools: update the doc publish tool to take a subdir Signed-off-by: Peter Hutterer --- tools/publish-doc | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tools/publish-doc b/tools/publish-doc index aa4b7412..d88edc3d 100755 --- a/tools/publish-doc +++ b/tools/publish-doc @@ -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