From 9cd98afc1aa40e29ccf267e65eea6b7716916001 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Thu, 22 Feb 2024 00:25:51 +0000
Subject: [PATCH] desparate fix attempt
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 036d401..d6eb992 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ build:
- sage -pip install "pseudowalls==0.0.3" --extra-index-url https://gitlab.com/api/v4/projects/43962374/packages/pypi/simple
- make tilt.rs
- latexmk -use-make
- - sed -i -e '1s/^/\\def\\notebookappendix{}/' main.tex
+ - sed -i -e '1s/^/\\def\\notebookappendix{} /' main.tex
- latexmk -use-make
artifacts:
paths:
--
GitLab