blob: 1c4d110977dc9808674a5c1c06aae5ee42a773ba (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
# ix.polish : sed - script zum letzten Nachpolieren der Eintraege
# \item etc. einruecken, eckige Klammern in \verb - Anweisungen abaendern
#
# Packe vor jedes \item ein \indexspace
/\\item/i\
\\indexspace
# ruecke \items ein
/^\\item/s/^/ /
# ruecke \subitems etwas mehr ein
/^\\subitem/s/^/ /
# ruecke \subsubitems noch etwas mehr ein
/^\\subsubitem/s/^/ /
# aendere [ in \verb+
s/\[/\\verb+/g
# aendere ] in +
s/\]/+/g
|
