diff options
| author | Gustav Eek <gustav.eek@fripost.org> | 2019-04-28 11:24:33 +0200 |
|---|---|---|
| committer | Gustav Eek <gustav.eek@fripost.org> | 2019-04-28 12:46:51 +0200 |
| commit | 54bc7f83d5c398a16eac32fffaebf9f4f98f2340 (patch) | |
| tree | 675aa48d4662d1a3e449c526392b4e9d1aa063ff /sed | |
| parent | fcc04d6bf7e89aa2272016546bcb28378ddcfff4 (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.sed | 18 |
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}/ + |