Initial commit

2021-05-14 13:27:27 +02:00 · 2021-05-14 13:27:27 +02:00 · ee6263612a
commit ee6263612a
parent d899973508
4 changed files with 39 additions and 0 deletions
--- a/test.sed
+++ b/test.sed
@ -0,0 +1,23 @@
+/\$\$/ {
+    N;
+    /\\begin\{align\}/ {
+        s/\$\$//;
+        p;
+        d;
+    }
+    /\\newcommand/ {
+        N;
+        d;
+    }
+}
+
+/\\end\{align\}/ {
+    N;
+    /\$\$/ {
+        s/\$\$//;
+        p;
+        d;
+    }
+}
+s/lightgreen/LightGreen/g;
+s/:::/::: /g;