[gimp-help/gimp-help-2-10: 5/5] ci: also build the docs website html

[Jacob Boerema <jboerema src gnome org>]

commit e4e945f70eb718b9b648571731bf7f3c8c36ef31
Author: Jacob Boerema <jgboerema gmail com>
Date:   Mon Sep 13 16:42:09 2021 -0400

    ci: also build the docs website html

 .gitlab-ci.yml | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1a61035fa..d5e1ee706 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -14,11 +14,13 @@ build-debian:
     when: always
     paths:
     - www/
+    - html/
   before_script:
     - apt-get update
     - apt-get install -y --no-install-recommends
         automake
         build-essential
+        docbook-website
         docbook-xml
         docbook-xsl
         pkg-config
@@ -33,4 +35,7 @@ build-debian:
     - ../autogen.sh --prefix=${INSTALL_PREFIX} --without-gimp
     - make && make install
     - mv ${INSTALL_PREFIX}/share/gimp/2.0/help/ ../www/
+    - cd ../web
+    - make
+    - mv html/ ../html/
   timeout: 2 hours