diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 657ed16e3a0b05cdf24f818b9b00ab4e5da6b82e..09d31faf2019351a0e78e414ea5727d734bf8fa8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,7 +26,7 @@ artifacts:
   stage: build
   script:
   - ./install-font-debian.sh
-  - printf "\providecommand{\version}{%s}" $(echo $CI_BUILD_REF | cut -c1-8)
+  - printf "\providecommand{\version}{%s}" $(echo $CI_BUILD_REF | cut -c1-8) > version.tex
   - ./build.sh
   - mv dist/*.pdf .
   artifacts: