diff options
| author | Oskar Vigren <oskar@vig.ren> | 2019-11-04 18:58:19 +0100 |
|---|---|---|
| committer | Oskar Vigren <oskar@vig.ren> | 2019-11-04 18:58:19 +0100 |
| commit | d9ad98d79b089b7c8c70671d3c3e157d138c0f91 (patch) | |
| tree | 1c6032cd6c97398bc649aff6c6b56040525a38fc /sed | |
| parent | 707ae8dff89782a36ef555715b5a4a06c51feced (diff) | |
Remove unrelated pages for laborationov/aktiv-test
Diffstat (limited to 'sed')
| -rw-r--r-- | sed/latex.sed | 18 |
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}/ - |