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

[bowersj2]

bowersj2		Mon Dec  9 17:09:44 2002 EDT

  Modified files:              
    /doc/help	render.texxml.pl 
  Log:
  Responsibility for determine whether a file should be re-built now lies
  with the Makefile, which is better at that sort of thing then a naive
  "Does the file already exist?" question.
  
  
  
Index: doc/help/render.texxml.pl
diff -u doc/help/render.texxml.pl:1.8 doc/help/render.texxml.pl:1.9
--- doc/help/render.texxml.pl:1.8	Mon Aug 12 12:20:40 2002
+++ doc/help/render.texxml.pl	Mon Dec  9 17:09:44 2002
@@ -59,12 +59,6 @@
     $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
@@ -73,7 +67,7 @@
 }
 
 my $redir = ">& /dev/null"; # empty this for easier debugging
-#$redir = ">> /home/jerf/work/loncapa/doc/help/error_log.txt";
+#my $redir = ">> /home/jerf/work/loncapa/doc/help/error_log.txt";
 
 mkdir $tmpdir, 0755;