diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 4e3deaf75b1f9baa9e7cd78c321fa39c9769f26a..52804fa7d89f1d1e05ee096fe356d4772ca41e07 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,7 @@
 variables:
   APP_DIRECTORY: .
   DOCS_DIRECTORY: ${APP_DIRECTORY}/docs
+  DOCS_LATEX_NAME: fenicsr13
 stages:
 - prepare
 - build