--- doc/help/render.texxml.pl	2002/08/12 16:20:40	1.8
+++ doc/help/render.texxml.pl	2003/04/01 04:30:10	1.10
@@ -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;
 
@@ -87,7 +81,7 @@ print "Running Latex...\n";
 system ( "cd $tmpdir; echo | latex $fileroot $redir; echo | latex $fileroot $redir; echo | latex $fileroot\ $redir; " );
 
 print "Running dvips...\n";
-system ( "cd $tmpdir; dvips -f $fileroot.dvi > $fileroot.ps  " );
+system ( "cd $tmpdir; dvips -Ppdf -G0 -f $fileroot.dvi > $fileroot.ps  " );
 
 print "Copying ps file...\n";
 system ( "cp $tmpdir/$fileroot.ps .");