[jhbuild] Build docs with yelp-build

[Christoph Reiter <creiter src gnome org>]

commit 9b6c3a94b69b3015d168848b7f42f2e443227d7f
Author: Christoph Reiter <reiter christoph gmail com>
Date:   Thu Sep 5 19:45:34 2019 +0200

    Build docs with yelp-build
    
    it looks much nicer

 .gitlab-ci.yml        | 8 ++++----
 .gitlab-ci/Dockerfile | 1 -
 2 files changed, 4 insertions(+), 5 deletions(-)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1a987645..31a34886 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,10 +10,10 @@ test:
     - make
     - make install
     - make distcheck
-    - cd ../doc
-    - xmlto html -m custom.xsl C/index.docbook -o public
-    - cp jhbuild.css public
-    - mv public ..
+    - cd ..
+    - mkdir public
+    - cd public
+    - yelp-build html ../doc/C/index.docbook
   artifacts:
     paths:
       - public
diff --git a/.gitlab-ci/Dockerfile b/.gitlab-ci/Dockerfile
index 714d2e17..268522ed 100644
--- a/.gitlab-ci/Dockerfile
+++ b/.gitlab-ci/Dockerfile
@@ -16,7 +16,6 @@ RUN apt update && apt install -y \
     python \
     sudo \
     trang \
-    xmlto \
     yelp-tools
 
 RUN useradd -u 1000 -ms /bin/bash user