From eadaebb6086ba1b0e6c0d4874f197ba9b9d82031 Mon Sep 17 00:00:00 2001
From: Dmytro Bogatov <dmytro@dbogatov.org>
Date: Tue, 7 Nov 2017 00:55:03 -0500
Subject: [PATCH] Final fix.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 657ed16..09d31fa 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:
-- 
GitLab