[gimp-help] ci: also build the docs website html

[Jacob Boerema <jboerema src gnome org>]

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

    ci: also build the docs website html
    
    (cherry picked from commit e4e945f70eb718b9b648571731bf7f3c8c36ef31)
    
    # Conflicts:
    #       .gitlab-ci.yml

 .gitlab-ci.yml | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 516e26f9e..17238b59d 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/3.0/help/ ../www/
+    - cd ../web
+    - make
+    - mv html/ ../html/
   timeout: 2 hours