diff options
Diffstat (limited to 'scripts/acronyms.pl')
| -rwxr-xr-x | scripts/acronyms.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/acronyms.pl b/scripts/acronyms.pl index 6067c44..920a9d9 100755 --- a/scripts/acronyms.pl +++ b/scripts/acronyms.pl @@ -57,6 +57,7 @@ while ( my $line = <STDIN> ) { $name =~ s{\s+}{ }g; $name =~ s{'}{\\'}g; + $station =~ s{ ^ EBIL $ }{EBILP}x; $station =~ s{ ^ EBLA $ }{EBP}x; $station =~ s{ ^ EBTHP $ }{EBTH}x; $station =~ s{ ^ EDO \s N $ }{EDO}x; |