version 1.14, 2003/07/24 14:47:58
|
version 1.16, 2003/09/02 18:41:11
|
Line 67 if ( defined ( $ARGV[2] ) ) # override e
|
Line 67 if ( defined ( $ARGV[2] ) ) # override e
|
} |
} |
|
|
my $redir = ">& /dev/null"; # empty this for easier debugging |
my $redir = ">& /dev/null"; # empty this for easier debugging |
#my $redir = ">> error_log.txt"; |
#my $redir = ">> /home/jerf/error_log.txt"; |
|
|
mkdir $tmpdir, 0755; |
mkdir $tmpdir, 0755; |
|
|
print "Converting texxml to tex...\n"; |
print "Converting texxml to tex...\n"; |
system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" ); |
if (system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" )) { |
|
$! = 1; |
|
die "Terminated render because texxml2latex failed; see previous error message."; |
|
}; |
|
|
print "Copying .eps files...\n"; |
print "Copying .eps files...\n"; |
system ( "cp $epssource/* $tmpdir/" ); |
system ( "cp $epssource/* $tmpdir/" ); |