#!/usr/bin/perl

$file1 = $ARGV[0];
$file2 = $ARGV[1];

unless (open(INFILE, $file1)){
        die ("Cannot open input file $file1\n");
}

unless (open(OUTFILE, ">$file2")){
        die ("Cannot open output file $file2\n");
}

$line=<INFILE>;
while($line ne ""){
  if ($line =~ s/^[\t ]*\\begin\{axiom\}//)
  {
      $axiomenv=1;
      chop($line);
      if ($line !~ /^[\t ]*/) 
      { 
        print OUTFILE ($line);
      }
      $line = <INFILE>;
      if ($line eq "") 
      { 
        die ("axiom envirnoment not closed at end of file\n");
      }
      while($axiomenv==1)
      {
        if ($line =~ s/^[\t ]*\\end\{axiom\}//)
        {
          $axiomenv=0;
          $line = <INFILE>
        }
        else
        {
          print OUTFILE ($line);
          $line = <INFILE>
        }
      }
  }
else
    {
      print OUTFILE ("--",$line);
      $line = <INFILE>;
  }
}