doc/help/render.texxml.pl - diff

Return to render.texxml.pl CVS log

Up to [LON-CAPA] / doc / help

version 1.7, 2002/08/09 14:48:31	version 1.8, 2002/08/12 16:20:40
Line 59 if (substr($fileroot, -7) eq ".texxml")	Line 59 if (substr($fileroot, -7) eq ".texxml")
$fileroot = substr($fileroot, 0, -7);	$fileroot = substr($fileroot, 0, -7);
}	}

	if ( -e "$fileroot.pdf" )
	{
	print "$fileroot already built.\n";
	exit();
	}

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