From f5fcdaad9e2e0ec29bc206abdf852ac7a620db4e Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Wed, 10 May 2023 12:37:13 +0100
Subject: [PATCH] Add makefile target for when there's no diff in sagemath
---
Makefile | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index a7ef663..efcb217 100644
--- a/Makefile
+++ b/Makefile
@@ -17,9 +17,11 @@ ${SAGETEXSCRIPT}: ${TEXFILES} filtered_sage.txt
filtered_sage.txt: ${MAINTEXFILE} filter_sage.sed
./filter_sage.sed ${MAINTEXFILE} > $@
-.PHONY: clean
+.PHONY: clean nosage
clean:
rm -rf **/__pycache__
latexmk -C
git clean -xf || echo no git repo to use for cleaning
+nosage:
+ latexmk
--
GitLab