src/etc/indenter

   1 #!/usr/bin/perl -w
   2
   3 $ident = 0;
   4 while (<>) {
   5     if (/^rust: ">>/) {
   6         $indent += 1;
   7     } elsif (/^rust: "<</) {
   8         $indent -= 1;
   9     }
  10
  11     printf "%03d  ", $indent;
  12     for ($i = 0; $i < $indent; $i++) {
  13         printf("  ");
  14     }
  15     print;
  16 }
  17