--- doc/help/render.texxml.pl	2003/09/02 18:41:11	1.16
+++ doc/help/render.texxml.pl	2004/09/14 21:18:44	1.17
@@ -33,7 +33,7 @@ if ( scalar(@ARGV) < 2 )
 {
     print (<<USAGE);
 Usage: $0 texxml_file_name or
-       perl $0 -- texxml_file_name
+       perl $0 -- texxml_file_name [epssource] [--with-filenames]
        where "texxml_file_name" optionally includes the extension
 Output: texxml_file_name.dvi
 
@@ -46,6 +46,12 @@ If a second argument is passed, it is us
 
 Must be run as somebody with permissions to write temp files and 
 access /home/httpd/html/adm/help/eps.
+
+If thre is a second argument, it will be used as the path to the 
+eps files, otherwise "../../loncom/html/adm/help/eps" is used.
+
+If the optional argument --with-filenames is included then
+the filename for each fragment is stuck into the finished file.
 USAGE
 
     exit();
@@ -60,19 +66,23 @@ if (substr($fileroot, -7) eq ".texxml")
 }
 
 my $epssource = "../../loncom/html/adm/help/eps";
-
-if ( defined ( $ARGV[2] ) ) # override eps source, for build on install
-{
+# override eps source, for build on install
+if ( $ARGV[2] && $ARGV[2] ne '--with-filenames') {
     $epssource = $ARGV[2];
 }
 
+my $include_filenames='';
+if ( $ARGV[2] eq '--with-filenames' || $ARGV[3] eq '--with-filenames') {
+    $include_filenames='--with-filenames';
+}
+
 my $redir = ">& /dev/null"; # empty this for easier debugging
-#my $redir = ">> /home/jerf/error_log.txt";
+#my $redir = ">> /home/albertel/error_log.txt";
 
 mkdir $tmpdir, 0755;
 
 print "Converting texxml to tex...\n";
-if (system ( "perl texxml2latex.pl $fileroot.texxml > $tmpdir/$fileroot.tex" )) {
+if (system ( "perl texxml2latex.pl $fileroot.texxml $include_filenames > $tmpdir/$fileroot.tex" )) {
     $! = 1;
     die "Terminated render because texxml2latex failed; see previous error message.";
 };