version 1.4, 2002/07/19 17:00:05
|
version 1.5, 2002/07/25 15:19:03
|
Line 62 if ( defined ( $ARGV[2] ) ) # override e
|
Line 62 if ( defined ( $ARGV[2] ) ) # override e
|
|
|
my $redir = ">& /dev/null"; # empty this for easier debugging |
my $redir = ">& /dev/null"; # empty this for easier debugging |
|
|
mkdir $tmpdir; |
mkdir $tmpdir, 0755; |
|
|
print "Converting texxml to tex...\n"; |
print "Converting texxml to tex...\n"; |
system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" ); |
system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" ); |