[LON-CAPA-cvs] cvs: doc /help render.texxml.pl

[bowersj2]

bowersj2		Tue Jul 30 14:24:44 2002 EDT

  Modified files:              
    /doc/help	render.texxml.pl 
  Log:
  Because if the author of the script can't remember to remove the
  extension, how can he expect anyone else to remember?
  
  
  
Index: doc/help/render.texxml.pl
diff -u doc/help/render.texxml.pl:1.5 doc/help/render.texxml.pl:1.6
--- doc/help/render.texxml.pl:1.5	Thu Jul 25 11:19:03 2002
+++ doc/help/render.texxml.pl	Tue Jul 30 14:24:44 2002
@@ -34,7 +34,7 @@
     print (<<USAGE);
 Usage: $0 texxml_file_name or
        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
 
 $0 renders texxml files into dvi files by copying the tex file
@@ -53,6 +53,12 @@
 
 my $tmpdir = tmpnam();
 my $fileroot = $ARGV[1];
+
+if (substr($fileroot, -7) eq ".texxml")
+{
+    $fileroot = substr($fileroot, 0, -7);
+}
+
 my $epssource = "/home/httpd/html/adm/help/eps";
 
 if ( defined ( $ARGV[2] ) ) # override eps source, for build on install