Check PDF file structure with QPDF

"qpdf --check" checks file structure of generated ARM PDF.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ae00a081ab75f60ab7c0892ca7a35af77322329b..4d0138780a1c073fc004c0338c62d206c2318505 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -553,6 +553,7 @@ docs:
   script:
     - *configure
     - make -j${BUILD_PARALLEL_JOBS:-1} -k doc V=1
+    - qpdf --check doc/arm/_build/latex/Bv9ARM.pdf
   needs:
     - job: autoreconf
       artifacts: true