From e9737cd9219ec3ebcc080769fd0ad1519ed59e51 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Thu, 27 Apr 2023 00:12:23 +0100
Subject: [PATCH] Minor
---
filter_sage.sed | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/filter_sage.sed b/filter_sage.sed
index 4163f6e..676fa19 100755
--- a/filter_sage.sed
+++ b/filter_sage.sed
@@ -2,7 +2,7 @@
0,/^\\begin{sagesilent}/d
/^\\end{sagesilent}/,/^\\begin{sagesilent}/{
- s;.*\\sage{\(.*\)}.*;\n# RENDERED TO LATEX: \1;p
+ s;.*\\sage{\(.*\)}.*;\n# RENDERED TO LATEX: \1 #;p
t underline
d
:underline
--
GitLab