blob: ca4e8a1b30735238e5fc0df377060713cfcd18c9 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/usr/bin/perl -w
use strict;
while(<STDIN>) {
s/\&bar;/\|/g; # factor separator (legacy)
s/\|/\|/g; # factor separator
s/\</\</g; # xml
s/\>/\>/g; # xml
s/\&bra;/\[/g; # syntax non-terminal (legacy)
s/\&ket;/\]/g; # syntax non-terminal (legacy)
s/\"/\"/g; # xml
s/\'/\'/g; # xml
s/\[/\[/g; # syntax non-terminal
s/\]/\]/g; # syntax non-terminal
s/\&/\&/g; # escape escape
s/\"([^\"]*)\"/\`\`$1\'\'/g;
print $_;
}
|