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