version 1.3, 2002/07/19 14:27:05
|
version 1.6, 2002/07/30 18:24:44
|
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]; |
|
|
|
if (substr($fileroot, -7) eq ".texxml") |
|
{ |
|
$fileroot = substr($fileroot, 0, -7); |
|
} |
|
|
my $epssource = "/home/httpd/html/adm/help/eps"; |
my $epssource = "/home/httpd/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 |
Line 62 if ( defined ( $ARGV[2] ) ) # override e
|
Line 68 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" ); |
Line 72 system ( "cp $epssource/* $tmpdir/" );
|
Line 78 system ( "cp $epssource/* $tmpdir/" );
|
|
|
# \scrollmode\input causes LaTeX to not stop on errors |
# \scrollmode\input causes LaTeX to not stop on errors |
print "Running Latex...\n"; |
print "Running Latex...\n"; |
system ( "cd $tmpdir; latex \"\\scrollmode\\input $fileroot\" $redir; latex \"\\scrollmode\\input $fileroot\ $redir; latex \"\\scrollmode\\input $fileroot\ $redir; " ); |
system ( "cd $tmpdir; echo | latex $fileroot $redir; echo | latex $fileroot $redir; echo | latex $fileroot\ $redir; " ); |
|
|
print "Running dvips...\n"; |
print "Running dvips...\n"; |
system ( "cd $tmpdir; dvips -f $fileroot.dvi > $fileroot.ps $redir " ); |
system ( "cd $tmpdir; dvips -f $fileroot.dvi > $fileroot.ps $redir " ); |