doc/help/render.texxml.pl - diff

Return to render.texxml.pl CVS log

Up to [LON-CAPA] / doc / help

version 1.18, 2004/09/14 22:26:17	version 1.19, 2005/05/05 18:59:07
Line 104 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 113 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";
}	}