? 2008-03-11_texi2html_fix_element_file_name.patch
Index: texi2html.pl
===================================================================
RCS file: /sources/texi2html/texi2html/texi2html.pl,v
retrieving revision 1.197
diff -u -r1.197 texi2html.pl
--- texi2html.pl	7 Oct 2007 12:07:09 -0000	1.197
+++ texi2html.pl	11 Mar 2008 14:56:57 -0000
@@ -2950,7 +2950,7 @@
     {
         my $docu_name = &$Texi2HTML::Config::element_file_name
            (undef, "doc", $docu_name);
-        $docu_top = $docu_name if (defined($docu_name));
+        $docu_doc = $docu_name if (defined($docu_name));
     } 
     $docu_toc = $docu_foot = $docu_stoc = $docu_about = $docu_top = $docu_doc;
 }