CI: Fix unpack of documentation tarball

In dbus 1.12.x, this was a tar.gz archive, not a tar.xz archive.

Fixes: 8d34987e "CI: Exercise maintainer-only documentation build"
Signed-off-by: Simon McVittie <smcv@collabora.com>

diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index 28e6452..9e6c997 100755 (executable)
--- a/tools/ci-build.sh
+++ b/tools/ci-build.sh
@@ -273,8 +273,8 @@ case "$ci_buildsys" in
 
             (*)
                 # assume Ubuntu 18.04 'bionic', Debian 10 'buster' or newer
-                ${make} -C doc dbus-docs.tar.xz
-                tar -C $(pwd)/DESTDIR -xf doc/dbus-docs.tar.xz
+                ${make} -C doc dbus-docs.tar.gz
+                tar -C $(pwd)/DESTDIR -xf doc/dbus-docs.tar.gz
                 ( cd DESTDIR/dbus-docs && find . -ls )
                 ;;
         esac