version 1.15, 2003/09/02 18:29:58
|
version 1.18, 2004/09/14 22:26:17
|
Line 33 if ( scalar(@ARGV) < 2 )
|
Line 33 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 [epssource] [--with-filenames] |
where "texxml_file_name" optionally includes the extension |
where "texxml_file_name" optionally includes the extension |
Output: texxml_file_name.dvi |
Output: texxml_file_name.dvi |
|
|
Line 46 If a second argument is passed, it is us
|
Line 46 If a second argument is passed, it is us
|
|
|
Must be run as somebody with permissions to write temp files and |
Must be run as somebody with permissions to write temp files and |
access /home/httpd/html/adm/help/eps. |
access /home/httpd/html/adm/help/eps. |
|
|
|
If thre is a second argument, it will be used as the path to the |
|
eps files, otherwise "../../loncom/html/adm/help/eps" is used. |
|
|
|
If the optional argument --with-filenames is included then |
|
the filename for each fragment is stuck into the finished file. |
USAGE |
USAGE |
|
|
exit(); |
exit(); |
Line 60 if (substr($fileroot, -7) eq ".texxml")
|
Line 66 if (substr($fileroot, -7) eq ".texxml")
|
} |
} |
|
|
my $epssource = "../../loncom/html/adm/help/eps"; |
my $epssource = "../../loncom/html/adm/help/eps"; |
|
# override eps source, for build on install |
if ( defined ( $ARGV[2] ) ) # override eps source, for build on install |
if ( $ARGV[2] && $ARGV[2] ne '--with-filenames') { |
{ |
|
$epssource = $ARGV[2]; |
$epssource = $ARGV[2]; |
} |
} |
|
|
|
my $include_filenames=''; |
|
if ( $ARGV[2] eq '--with-filenames' || $ARGV[3] eq '--with-filenames') { |
|
$include_filenames='--with-filenames'; |
|
} |
|
|
#my $redir = ">& /dev/null"; # empty this for easier debugging |
#my $redir = ">& /dev/null"; # empty this for easier debugging |
my $redir = ">> /home/jerf/error_log.txt"; |
my $redir = "~/error_log.txt"; |
|
system("rm -f $redir"); |
|
$redir=">> $redir"; |
|
|
mkdir $tmpdir, 0755; |
mkdir $tmpdir, 0755; |
|
|
print "Converting texxml to tex...\n"; |
print "Converting texxml to tex...\n"; |
if (system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" )) { |
if (system ( "perl texxml2latex.pl $fileroot.texxml $include_filenames > $tmpdir/$fileroot.tex" )) { |
$! = 1; |
$! = 1; |
die "Terminated render because texxml2latex failed; see previous error message."; |
die "Terminated render because texxml2latex failed; see previous error message."; |
}; |
}; |