--- doc/help/render.texxml.pl 2002/07/19 17:00:05 1.4 +++ doc/help/render.texxml.pl 2002/07/25 15:19:03 1.5 @@ -62,7 +62,7 @@ if ( defined ( $ARGV[2] ) ) # override e my $redir = ">& /dev/null"; # empty this for easier debugging -mkdir $tmpdir; +mkdir $tmpdir, 0755; print "Converting texxml to tex...\n"; system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" );