.gitlab-ci.yml: added build which runs 'make dist'

This tests whether the manpages, info, html, pdf and epub
manual are properly generated, and whether any new functions
were included into makefiles.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b39ec1c35fa82a3c9cdec698be3bccbe7b709cd1..b2739018a729dac06ea0a1997bf07353731d6297 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -83,6 +83,21 @@ Fedora/x86_64/syntax-check:
   except:
   - tags
 
+Fedora/dist:
+  script:
+  - git submodule update --init
+  - yum install -y gtk-doc texinfo texinfo-tex texlive texlive-supertabular texlive-framed texlive-morefloats texlive-quotchap docbook5-style-xsl docbook-style-xsl ruby zip gnutls-devel
+  - make autoreconf && ./configure --disable-non-suiteb-curves --enable-gtk-doc --enable-fips140-mode
+  - make -j4
+  - make -C doc gnutls.html 
+  - PATH="$PATH:/usr/share/sgml/docbook/xsl-stylesheets-1.78.1/epub/bin/" make -C doc gnutls.epub
+  - make -C doc/latex gnutls.pdf
+  - make dist
+  tags:
+  - shared
+  except:
+  - tags
+
 Fedora/x86_64/clang:
   script:
   - make autoreconf &&