From d7edad760024df78ba64a00f5ad7855b92f61176 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Fri, 28 Apr 2023 01:39:29 +0100
Subject: [PATCH] Shot in the dark
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 9074860..d196679 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ main.sagetex.sout: ${SAGETEXSCRIPT} ${PYPLOTFILES}
PYTHONPATH=./sagetexscripts/ sage ${SAGETEXSCRIPT}
${SAGETEXSCRIPT}: ${TEXFILES}
- lualatex ${MAINTEXFILE} || echo this shoud fail
+ latexmk || echo this shoud fail
filtered_sage.txt: ${MAINTEXFILE} filter_sage.sed
./filter_sage.sed ${MAINTEXFILE} > $@
--
GitLab