diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ccd95cd869bde1b5354d7762b0f0ff996370d7e8..af628beb20ce721ffc5427dc169bd9201ad789d0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -78,6 +78,7 @@ test:
     expire_in: 10 min
     paths:
       - dist/
+      - build
   script:
     # -baseref option is used by npm to set the npm_config_basehref environment variable
     # used in package.json
diff --git a/scripts/mkdocs2pdf.py b/scripts/mkdocs2pdf.py
index ddabae3bd35484aca33191142d4d891e5964e76f..662122c236d9556ff7902aa2e3aea7611d1f3534 100644
--- a/scripts/mkdocs2pdf.py
+++ b/scripts/mkdocs2pdf.py
@@ -21,7 +21,7 @@ import re
 import shutil
 
 # verbose output
-verbose = False
+verbose = True
 
 baseDir = os.getcwd()
 buildDir = os.path.join(baseDir, 'build')