diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7da90c38194d98caaaccfbfdf0b8b3fc11b2b2db..3c4061fc9891eda7a69b8db25f5da0b9e6c40cd1 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}" $CI_BUILD_REF | cut -c1-8 > version.tex
+  - printf "\newcommand{\version}{%s}" $CI_BUILD_REF | cut -c1-8 > version.tex
   - ./build.sh
   - mv dist/*.pdf .
   artifacts: