From 0265a1f682b07bb9d736b93feee76adc2b6718de Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Fri, 28 Apr 2023 01:55:23 +0100
Subject: [PATCH] Final final try
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 917b556..c468217 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ main.sagetex.sout.tmp: ${SAGETEXSCRIPT} ${PYPLOTFILES}
PYTHONPATH=./sagetexscripts/ sage ${SAGETEXSCRIPT}
${SAGETEXSCRIPT}: ${TEXFILES}
- latexmk || echo this shoud fail
+ lualatex ${MAINTEXFILE} || echo this shoud fail
filtered_sage.txt: ${MAINTEXFILE} filter_sage.sed
./filter_sage.sed ${MAINTEXFILE} > $@
--
GitLab