From 6f3617714301d5824291a179e9106138e3dac71c Mon Sep 17 00:00:00 2001
From: Dmytro Bogatov <dmytro@dbogatov.org>
Date: Tue, 7 Nov 2017 00:45:02 -0500
Subject: [PATCH] Fix.

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7da90c3..3c4061f 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:
-- 
GitLab