Check PDF file structure with QPDF

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

(cherry picked from commit 359708b9d62581a99c80eff450cf9b2e283cef3c)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a7cbe7d0cd0fff1734f667e22417b68fb3bd9a21..f9a9658b0f05885790358605954da01426641839 100644 (file)
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -534,6 +534,7 @@ docs:
     - ./configure || cat config.log
     - make -C doc/misc docbook
     - make -C doc/arm Bv9ARM.html
+    - qpdf --check doc/arm/Bv9ARM.pdf
   needs:
     - job: autoreconf
       artifacts: true