summaryrefslogtreecommitdiffstats
path: root/sed
diff options
context:
space:
mode:
authorGustav Eek <gustav.eek@fripost.org>2019-04-28 11:24:33 +0200
committerGustav Eek <gustav.eek@fripost.org>2019-04-28 12:46:51 +0200
commit54bc7f83d5c398a16eac32fffaebf9f4f98f2340 (patch)
tree675aa48d4662d1a3e449c526392b4e9d1aa063ff /sed
parentfcc04d6bf7e89aa2272016546bcb28378ddcfff4 (diff)
PDF compilation added
Makefile for the creation of PDF added. Also Latex filters for sed added. Also in the markdown file, the meta tag is splitted so that the sed filter could easiliy pick it up.
Diffstat (limited to 'sed')
-rw-r--r--sed/latex.sed18
1 files changed, 18 insertions, 0 deletions
diff --git a/sed/latex.sed b/sed/latex.sed
new file mode 100644
index 0000000..1c46d3e
--- /dev/null
+++ b/sed/latex.sed
@@ -0,0 +1,18 @@
+#!/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}/
+