From 61a90ba02a4e64d74b3e9cf4798049ddad7238f4 Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Tue, 2 May 2023 18:20:54 +0100
Subject: [PATCH] Show (sub)sections in filtered sage
---
filter_sage.sed | 18 +++++++++++++++---
1 file changed, 15 insertions(+), 3 deletions(-)
diff --git a/filter_sage.sed b/filter_sage.sed
index f883f3a..7b59fe3 100755
--- a/filter_sage.sed
+++ b/filter_sage.sed
@@ -1,11 +1,23 @@
#!/usr/bin/sed -f
-0,/^\\begin{sagesilent}/d
-/^\\end{sagesilent}/,/^\\begin{sagesilent}/{
- s/.*\\sage{\(.*\)}.*/# RENDERED TO LATEX: \1 #/
+0,/^\\begin{sagesilent}/b nonsage
+/^\\end{sagesilent}/,/^\\begin{sagesilent}/b nonsage
+
+1 {
+:nonsage
+ s/.*\\sage{\(.*\)}.*/# RENDERED TO LATEX: \1/p
+ t end
+ s/.*\\section{\(.*\)}.*/## SECTION \1 ##/
T skip;
h;s/\S/#/g;H;G;a
p
+ b end
:skip
+ s/.*\\subsection{\(.*\)}.*/# SUB SECTION \1 #/
+ T end;
+ h;s/\S/#/g;H;g;a
+ p
+ b end
+:end
d
}
--
GitLab