From 2518473e80d189ab49f5377c28d6489fcc081eb9 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Fri, 28 Apr 2023 01:41:23 +0100
Subject: [PATCH] Update Makefile
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index d196679..4f2aff5 100644
--- a/Makefile
+++ b/Makefile
@@ -6,7 +6,7 @@ TEXFILES = ${MAINTEXFILE}
SAGETEXSCRIPT = main.sagetex.sage
main.pdf: ${TEXFILES} main.sagetex.sout filtered_sage.txt
- latexmk
+ latexmk -f
main.sagetex.sout: ${SAGETEXSCRIPT} ${PYPLOTFILES}
PYTHONPATH=./sagetexscripts/ sage ${SAGETEXSCRIPT}
--
GitLab