summaryrefslogtreecommitdiffstats
path: root/sed
diff options
context:
space:
mode:
authorOskar Vigren <oskar@vig.ren>2019-11-04 18:58:19 +0100
committerOskar Vigren <oskar@vig.ren>2019-11-04 18:58:19 +0100
commitd9ad98d79b089b7c8c70671d3c3e157d138c0f91 (patch)
tree1c6032cd6c97398bc649aff6c6b56040525a38fc /sed
parent707ae8dff89782a36ef555715b5a4a06c51feced (diff)
Remove unrelated pages for laborationov/aktiv-test
Diffstat (limited to 'sed')
-rw-r--r--sed/latex.sed18
1 files changed, 0 insertions, 18 deletions
diff --git a/sed/latex.sed b/sed/latex.sed
deleted file mode 100644
index 1c46d3e..0000000
--- a/sed/latex.sed
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sed
-#
-# Prepare for ODT
-#
-# This should be used after the markdown filter
-/^\[\[!meta/,/^\]\]/ {
- s/^\[\[!meta/---/
- s/^\]\]/.../
- s/ *\(.*\)="\(.*\)"/\1: \2/
-}
-
-/^\[\[!tag/ d
-/^\[\[!toc/ d
-/^\*\*InnehÄll\*\*$/ d
-
-s/DNS/\\textsc{dns}/
-s/ISBN/\\textsc{isbn}/
-