doc/help/render.texxml.pl - diff

Return to render.texxml.pl CVS log

Up to [LON-CAPA] / doc / help

version 1.17, 2004/09/14 21:18:44	version 1.19, 2005/05/05 18:59:07
Line 76 if ( $ARGV[2] eq '--with-filenames' \|\| $	Line 76 if ( $ARGV[2] eq '--with-filenames' \|\| $
$include_filenames='--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/albertel/error_log.txt";	my $redir = "~/error_log.txt";
	system("rm -f $redir");
	$redir=">> $redir";

mkdir $tmpdir, 0755;	mkdir $tmpdir, 0755;

Line 102 system ( "cp $tmpdir/$fileroot.ps .");	Line 104 system ( "cp $tmpdir/$fileroot.ps .");
print "Converting to PDF (may take a bit)...\n";	print "Converting to PDF (may take a bit)...\n";
system ( "ps2pdf $fileroot.ps $fileroot.pdf" );	system ( "ps2pdf $fileroot.ps $fileroot.pdf" );

	print "Rescuing log and tex file for debugging ...\n";
	system ("cp $tmpdir/$fileroot.log .");
	system ("cp $tmpdir/$fileroot.tex .");

print "Clearing temp directory...\n";	print "Clearing temp directory...\n";
system ( "rm -rf $tmpdir" );	system ( "rm -rf $tmpdir" );

Line 111 if ( -e $fileroot . ".ps" )	Line 117 if ( -e $fileroot . ".ps" )
}	}
else	else
{	{
print "Generationr of $fileroot.ps failed.\n";	print "Generation of $fileroot.ps failed.\n";
}	}