diff --git a/filter_sage.sed b/filter_sage.sed index 8184701c8a5215830ea00deffa44690ea3af642e..f883f3a95c36425b39c8cdd0991d57034e45c912 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 }