lib/scripts/recode.pl
changeset 62579 bfa38c2e751f
parent 62541 b351da9b4c7d
parent 62578 739a84403864
child 62580 7011429f44f9
child 62584 6cd36a0d2a28
equal deleted inserted replaced
62541:b351da9b4c7d 62579:bfa38c2e751f
     1 #
       
     2 # Author: Makarius
       
     3 #
       
     4 # recode.pl - recode utf8 for ML
       
     5 #
       
     6 
       
     7 for (@ARGV) {
       
     8   utf8::upgrade($_);
       
     9   s/([\x80-\xff])/\\${\(ord($1))}/g;
       
    10   print $_;
       
    11 }