CI: Exercise maintainer-only documentation build

Signed-off-by: Simon McVittie <smcv@collabora.com>
(cherry picked from commit bcc34caa43d8e5dba8266cf163d8a24e4fb55dce)

2 files changed, 33 insertions, 0 deletions

diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index 299070d2..cb19f4a7 100755
--- a/tools/ci-build.sh
+++ b/tools/ci-build.sh
@@ -31,6 +31,11 @@ NULL=
 # Build system under test: autotools or cmake
 : "${ci_buildsys:=autotools}"
 
+# ci_distro:
+# OS distribution in which we are testing
+# Typical values: ubuntu, debian; maybe fedora in future
+: "${ci_distro:=ubuntu}"
+
 # ci_docker:
 # If non-empty, this is the name of a Docker image. ci-install.sh will
 # fetch it with "docker pull" and use it as a base for a new Docker image
@@ -52,6 +57,12 @@ NULL=
 # If yes, assume we can get root using sudo; if no, only use current user
 : "${ci_sudo:=no}"
 
+# ci_suite:
+# OS suite (release, branch) in which we are testing.
+# Typical values for ci_distro=debian: sid, jessie
+# Typical values for ci_distro=fedora might be 25, rawhide
+: "${ci_suite:=xenial}"
+
 # ci_test:
 # If yes, run tests; if no, just build
 : "${ci_test:=yes}"
@@ -233,6 +244,19 @@ case "$ci_buildsys" in
         ${make} install DESTDIR=$(pwd)/DESTDIR
         ( cd DESTDIR && find . -ls )
 
+        case "$ci_suite" in
+            (jessie|xenial|stretch)
+                # these are too old for maintainer-upload-docs
+                ;;
+
+            (*)
+                # 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
+                ( cd DESTDIR/dbus-docs && find . -ls )
+                ;;
+        esac
+
         if [ "$ci_sudo" = yes ] && [ "$ci_test" = yes ]; then
             sudo ${make} install
             sudo env LD_LIBRARY_PATH=/usr/local/lib \
diff --git a/tools/ci-install.sh b/tools/ci-install.sh
index 810b02ed..1c2e3b64 100755
--- a/tools/ci-install.sh
+++ b/tools/ci-install.sh
@@ -167,6 +167,15 @@ case "$ci_distro" in
                 $sudo dpkg -i autoconf-archive_*_all.deb
                 rm autoconf-archive_*_all.deb
                 ;;
+
+            (stretch)
+                # Debian 9 'stretch' didn't have the ducktype package
+                ;;
+
+            (*)
+                # assume Ubuntu 18.04 'bionic', Debian 10 'buster' or newer
+                $sudo apt-get -qq -y install ducktype
+                ;;
         esac
         ;;