[LON-CAPA-cvs] cvs: doc /help render.texxml.pl

[bowersj2]

bowersj2		Mon Aug 12 12:20:40 2002 EDT

  Modified files:              
    /doc/help	render.texxml.pl 
  Log:
  Temp fix to make "make build" faster when ps and pdf files already
  exist. 
  
  
  
Index: doc/help/render.texxml.pl
diff -u doc/help/render.texxml.pl:1.7 doc/help/render.texxml.pl:1.8
--- doc/help/render.texxml.pl:1.7	Fri Aug  9 10:48:31 2002
+++ doc/help/render.texxml.pl	Mon Aug 12 12:20:40 2002
@@ -59,6 +59,12 @@
     $fileroot = substr($fileroot, 0, -7);
 }
 
+if ( -e "$fileroot.pdf" )
+{
+    print "$fileroot already built.\n";
+    exit();
+}
+
 my $epssource = "/home/httpd/html/adm/help/eps";
 
 if ( defined ( $ARGV[2] ) ) # override eps source, for build on install