--- doc/help/render.texxml.pl 2004/09/14 21:18:44 1.17 +++ doc/help/render.texxml.pl 2004/09/14 22:26:17 1.18 @@ -76,8 +76,10 @@ if ( $ARGV[2] eq '--with-filenames' || $ $include_filenames='--with-filenames'; } -my $redir = ">& /dev/null"; # empty this for easier debugging -#my $redir = ">> /home/albertel/error_log.txt"; +#my $redir = ">& /dev/null"; # empty this for easier debugging +my $redir = "~/error_log.txt"; +system("rm -f $redir"); +$redir=">> $redir"; mkdir $tmpdir, 0755;