diff --git a/plaintext2latex.sed b/plaintext2latex.sed new file mode 100644 index 0000000000000000000000000000000000000000..2907c0b35151a4b4e8d2a45799d669828b94ed50 --- /dev/null +++ b/plaintext2latex.sed @@ -0,0 +1,7 @@ +#!/usr/bin/sed +s/%/\\%/g +s/^§ \?[0-9]\+ \(.*\)$/\\section{\1}/g; +s/^(1) \+/\\begin{enumerate}\n \\item /g; +s/^([0-9]\+) \+/ \\item /g; +s/^ *$/\\end{enumerate}\n/g; +