Diff for /doc/help/render.texxml.pl between versions 1.4 and 1.6

version 1.4, 2002/07/19 17:00:05 version 1.6, 2002/07/30 18:24:44
Line 34  if ( scalar(@ARGV) < 2 ) Line 34  if ( scalar(@ARGV) < 2 )
     print (<<USAGE);      print (<<USAGE);
 Usage: $0 texxml_file_name or  Usage: $0 texxml_file_name or
        perl $0 -- texxml_file_name         perl $0 -- texxml_file_name
        where "texxml_file_name" does not include the .texxml suffix         where "texxml_file_name" optionally includes the extension
 Output: texxml_file_name.dvi  Output: texxml_file_name.dvi
   
 $0 renders texxml files into dvi files by copying the tex file  $0 renders texxml files into dvi files by copying the tex file
Line 53  USAGE Line 53  USAGE
   
 my $tmpdir = tmpnam();  my $tmpdir = tmpnam();
 my $fileroot = $ARGV[1];  my $fileroot = $ARGV[1];
   
   if (substr($fileroot, -7) eq ".texxml")
   {
       $fileroot = substr($fileroot, 0, -7);
   }
   
 my $epssource = "/home/httpd/html/adm/help/eps";  my $epssource = "/home/httpd/html/adm/help/eps";
   
 if ( defined ( $ARGV[2] ) ) # override eps source, for build on install  if ( defined ( $ARGV[2] ) ) # override eps source, for build on install
Line 62  if ( defined ( $ARGV[2] ) ) # override e Line 68  if ( defined ( $ARGV[2] ) ) # override e
   
 my $redir = ">& /dev/null"; # empty this for easier debugging  my $redir = ">& /dev/null"; # empty this for easier debugging
   
 mkdir $tmpdir;  mkdir $tmpdir, 0755;
   
 print "Converting texxml to tex...\n";  print "Converting texxml to tex...\n";
 system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" );  system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" );

Removed from v.1.4  
changed lines
  Added in v.1.6


FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>