From: Peter Hutterer Date: Wed, 7 Apr 2021 23:38:26 +0000 (+1000) Subject: tools/publish-doc: enable pushing docs for specific tags X-Git-Tag: accepted/tizen/unified/20250224.161828~22 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=9b1b8219acae6efbe5a5e910e94404a486d96009;p=platform%2Fupstream%2Flibevdev.git tools/publish-doc: enable pushing docs for specific tags Historically, I copied the docs on the server directly after pushing latest, but (especially with meson) it's a lot easier to just build that specific tag locally and rsync it to the correct target directory. Signed-off-by: Peter Hutterer --- diff --git a/tools/publish-doc b/tools/publish-doc index f83704a..525cd4b 100755 --- a/tools/publish-doc +++ b/tools/publish-doc @@ -2,10 +2,36 @@ set -e -builddir=_doc_build +tag="$1" +case $tag in + -h|--help) + echo "Usage: $0 " + echo "Builds the libevdev documentation and rsyncs it to the freedesktop.org server." + echo "" + echo "Options:" + echo " tag ... the tag to build (default: master)" + exit 0 + ;; + 1*) + # Helper so we can run it with the numerical tag only, tags + # are all prefixed with libevdev + tag="libevdev-$tag" + ;; + **) + ;; +esac +tag=${tag:-master} +dir=$(mktemp -d --tmpdir='' libevdev-doc.XXX) +git clone --depth 1 --branch "$tag" https://gitlab.freedesktop.org/libevdev/libevdev.git "$dir" +pushd $dir +builddir=_doc_build rm -rf "$builddir" meson setup "$builddir" ninja -C "$builddir" -rsync --delete -avz "$builddir/html/" freedesktop.org:/srv/www.freedesktop.org/www/software/libevdev/doc/latest -rm -rf "$builddir" + +# Strip libevdev- prefix from the tag and replace master with latest, whichever applies +htmldir=${tag/#libevdev-/} +htmldir=${htmldir/master/latest} +rsync --delete -avz "$builddir/html/" freedesktop.org:/srv/www.freedesktop.org/www/software/libevdev/doc/${htmldir} +popd