blob: 17fe650d210c1862d7c142c79be69955012f3505 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/usr/bin/env perl
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 $_;
}
|