From b10a3cea144eb2b234427aa63b856f8a2bcb3312 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Thu, 27 Apr 2023 11:55:47 +0100
Subject: [PATCH] Final form of esoteric sed script
---
filter_sage.sed | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/filter_sage.sed b/filter_sage.sed
index 8184701..f883f3a 100755
--- a/filter_sage.sed
+++ b/filter_sage.sed
@@ -2,11 +2,10 @@
0,/^\\begin{sagesilent}/d
/^\\end{sagesilent}/,/^\\begin{sagesilent}/{
- s;.*\\sage{\(.*\)}.*;# RENDERED TO LATEX: \1 #;
- T end; h
- s;\S;#;g
- H; G; a
+ s/.*\\sage{\(.*\)}.*/# RENDERED TO LATEX: \1 #/
+ T skip;
+ h;s/\S/#/g;H;G;a
p
-:end
+:skip
d
}
--
GitLab