From afedab1e4470e6824bae27c95d2641f192ec3b70 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Wed, 26 Apr 2023 17:44:53 +0100
Subject: [PATCH] Include build step for a file containing just the sage in
main.tex
---
.gitignore | 1 +
Makefile | 3 +++
filter_sage.sed | 7 +++++++
3 files changed, 11 insertions(+)
create mode 100755 filter_sage.sed
diff --git a/.gitignore b/.gitignore
index 44cbf35..15ff3a1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
main.*
!main.tex
+filtered_sage.txt
diff --git a/Makefile b/Makefile
index 3e43a12..ed241ac 100644
--- a/Makefile
+++ b/Makefile
@@ -14,6 +14,9 @@ main.sagetex.sout: ${SAGETEXSCRIPT} ${PYPLOTFILES}
${SAGETEXSCRIPT}: ${TEXFILES}
latexmk -interaction=nonstopmode ${MAINTEXFILE} || echo this shoud fail
+filtered_sage.txt: ${MAINTEXFILE} filter_sage.sed
+ ./filter_sage.sed ${MAINTEXFILE} > $@
+
.PHONY: clean
clean:
rm -rf **/__pycache__
diff --git a/filter_sage.sed b/filter_sage.sed
new file mode 100755
index 0000000..b152e11
--- /dev/null
+++ b/filter_sage.sed
@@ -0,0 +1,7 @@
+#!/usr/bin/sed -f
+
+0,/^\\begin{sagesilent}/d
+/^\\end{sagesilent}/,/^\\begin{sagesilent}/{
+ s;.*\\sage{\(.*\)}.*;\n# RENDERED TO LATEX: \1\n;p
+ d
+}
--
GitLab