From 746afc7da05720acf8b38cc7d1c3e2ec728e2672 Mon Sep 17 00:00:00 2001
From: Dmytro Bogatov <dmytro@dbogatov.org>
Date: Tue, 7 Nov 2017 00:59:06 -0500
Subject: [PATCH] The most final fix.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 09d31fa..a54a14f 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) > version.tex
+  - printf "\providecommand{\\\version}{%s}" $(echo $CI_BUILD_REF | cut -c1-8) > version.tex
   - ./build.sh
   - mv dist/*.pdf .
   artifacts:
-- 
GitLab