--- doc/help/render.texxml.pl	2002/08/12 16:20:40	1.8
+++ doc/help/render.texxml.pl	2002/12/09 22:09:44	1.9
@@ -59,12 +59,6 @@ if (substr($fileroot, -7) eq ".texxml")
     $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 @@ if ( defined ( $ARGV[2] ) ) # override e
 }
 
 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;