version 1.2, 2002/07/18 14:58:03
|
version 1.16, 2003/09/02 18:41:11
|
Line 34 if ( scalar(@ARGV) < 2 )
|
Line 34 if ( scalar(@ARGV) < 2 )
|
print (<<USAGE); |
print (<<USAGE); |
Usage: $0 texxml_file_name or |
Usage: $0 texxml_file_name or |
perl $0 -- texxml_file_name |
perl $0 -- texxml_file_name |
where "texxml_file_name" does not include the .texxml suffix |
where "texxml_file_name" optionally includes the extension |
Output: texxml_file_name.dvi |
Output: texxml_file_name.dvi |
|
|
$0 renders texxml files into dvi files by copying the tex file |
$0 renders texxml files into dvi files by copying the tex file |
Line 53 USAGE
|
Line 53 USAGE
|
|
|
my $tmpdir = tmpnam(); |
my $tmpdir = tmpnam(); |
my $fileroot = $ARGV[1]; |
my $fileroot = $ARGV[1]; |
my $epssource = "/home/httpd/html/adm/help/eps"; |
|
|
if (substr($fileroot, -7) eq ".texxml") |
|
{ |
|
$fileroot = substr($fileroot, 0, -7); |
|
} |
|
|
|
my $epssource = "../../loncom/html/adm/help/eps"; |
|
|
if ( defined ( $ARGV[2] ) ) # override eps source, for build on install |
if ( defined ( $ARGV[2] ) ) # override eps source, for build on install |
{ |
{ |
$epssource = $ARGV[2]; |
$epssource = $ARGV[2]; |
} |
} |
|
|
mkdir $tmpdir; |
my $redir = ">& /dev/null"; # empty this for easier debugging |
|
#my $redir = ">> /home/jerf/error_log.txt"; |
|
|
|
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/" ); |
|
|
print "Running Latex...\n"; |
print "Running Latex...\n"; |
system ( "cd $tmpdir; latex $fileroot >& /dev/null; latex $fileroot >& /dev/null; latex $fileroot >& /dev/null; " ); |
system ( "cd $tmpdir; echo | latex $fileroot $redir; echo | latex $fileroot $redir; makeindex $fileroot.idx; echo | latex $fileroot\ $redir; " ); |
|
|
print "Running dvips...\n"; |
print "Running dvips...\n"; |
system ( "cd $tmpdir; dvips -f $fileroot.dvi > $fileroot.ps >& /dev/null " ); |
system ( "cd $tmpdir; dvips -Ppdf -G0 -f $fileroot.dvi > $fileroot.ps " ); |
|
|
print "Copying ps file...\n"; |
print "Copying ps file...\n"; |
system ( "cp $tmpdir/$fileroot.ps ."); |
system ( "cp $tmpdir/$fileroot.ps ."); |
|
|
|
print "Converting to PDF (may take a bit)...\n"; |
|
system ( "ps2pdf $fileroot.ps $fileroot.pdf" ); |
|
|
print "Clearing temp directory...\n"; |
print "Clearing temp directory...\n"; |
system ( "rm -rf $tmpdir" ); |
system ( "rm -rf $tmpdir" ); |
|
|
print "$fileroot.ps is ready, if all went well.\n"; |
if ( -e $fileroot . ".ps" ) |
|
{ |
|
print "$fileroot.ps and $fileroot.pdf are ready.\n"; |
|
} |
|
else |
|
{ |
|
print "Generationr of $fileroot.ps failed.\n"; |
|
} |