Enforce synchronized documentation

Add a "make maintainer-clean" step to the "docs" GitLab CI job to ensure
generated documentation does not get out of sync with its sources.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f727a512dfa4a1a80318fdc03451c7c2b20f23a2..3acc2bf09e3e3d4726163cb9a9932835d69aeaa7 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -486,8 +486,12 @@ docs:
     - apt -yqqq install texlive-full texlive-xetex latexmk xindy
   script:
     - *configure
-    - make -j${BUILD_PARALLEL_JOBS:-1} -k all V=1
-    - make -j${BUILD_PARALLEL_JOBS:-1} -k doc V=1
+    - make maintainer-clean
+    - autoreconf -fi
+    - *configure
+    - make -j${BUILD_PARALLEL_JOBS:-1} all V=1
+    - make -j${BUILD_PARALLEL_JOBS:-1} doc V=1
+    - if test "$(git status --porcelain | grep -Ev '\?\?' | grep -v -F -e aclocal.m4 -e configure -e ltmain.sh -e m4/ | wc -l)" -gt "0"; then git status --short; exit 1; fi
   needs:
     - job: autoreconf
       artifacts: true