From d9ad98d79b089b7c8c70671d3c3e157d138c0f91 Mon Sep 17 00:00:00 2001
From: Oskar Vigren <oskar@vig.ren>
Date: Mon, 4 Nov 2019 18:58:19 +0100
Subject: Remove unrelated pages for laboration

---
 sed/latex.sed | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 sed/latex.sed

(limited to 'sed/latex.sed')

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}/
-
-- 
cgit v1.2.3