#!/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 "")
{
#On entry we assume we are in text mode and will stay there as long as we see "--"
#On seeing the first non -- line which is not empty we enter code mode (axiomevn=1)
  if ($line !~ s/^--//) #remove -- if this is still text mode
  {
      $axiomenv=1;
      { #Signal code mode by emitting begin environment code
        print OUTFILE ("\\begin\{axiom\}\n");
        print OUTFILE ($line);
      }
      $line = <INFILE>;
      if ($line eq "") 
      { #if code ends file, terminate the environment
        print OUTFILE ("\\end\{axiom\}\n");
      }
      while($axiomenv==1 && $line ne "")
      {
        if ($line =~ s/^--//)
        {
          $axiomenv=0;
          print OUTFILE ("\\end\{axiom\}\n");          
          print OUTFILE ($line);
          $line = <INFILE>;
        }
        else
        {
          print OUTFILE ($line);
          $line = <INFILE>
        }
      } #end while($axiomenv==1
  }
  else #if we are still in text mode
  {
      print OUTFILE ($line);
      $line = <INFILE>
  }
#$line = <INFILE>;
} #end while
close(OUTFILE)