Re: [help-texinfo] html output (footnotes)

[Jean-Christophe Helary]

> On Mar 3, 2019, at 5:46, Gavin Smith <address@hidden> wrote:
> 
> On Mon, Feb 25, 2019 at 09:40:10PM +0900, Jean-Christophe Helary wrote:
>> I am wondering why footnotes are output as with h3 and h4 in reverse order:
>> 
>> <div class="footnote">
>> <hr>
>> <h4 class="footnotes-heading">Footnotes</h4>
>> 
>> <h3><a id="FOOT1" href="#DOCF1">(1)</a></h3>
>> <p>footnote text</p>
>> </div>
>> 
>> Shouldn't it be:
>> 
>> <div class="footnote">
>> <hr>
>> <h3 class="footnotes-heading">Footnotes</h3>
>> 
>> <h4><a id="FOOT1" href="#DOCF1">(1)</a></h4>
>> <p>footnote text</p>
>> </div>
> 
> I agree that the second would make more sense.
> 
> Does anybody know or want to check if there was any reason for this?

There is a 2011 commit that sets the header level to 4:

=================
commit 23b1df66c3fe0215bc94d55a22c832b7a697ac89
Author: Patrice Dumas <address@hidden>
Date:   Thu Nov 3 23:54:51 2011 +0000

    Use FOOTNOTE_END_HEADER_LEVEL for the level of footnote headings when
    footnotestyle is end, and FOOTNOTE_SEPARATE_HEADER_LEVEL when footnotes
    are on a separate element.
    
    Set defaults to 4 for those variables.
    
    
    git-svn-id: svn://127.0.0.1/svn_repo/texinfo/address@hidden 
39fee189-59d7-47db-b5d4-205258b72aed
=================


And on line 1643 there is a:

  $foot_lines .= '<h3>' .
   "<a id=\"$footid\" 
href=\"$document_filename#$docid\">($number_in_doc)</a></h3>\n"
   . $footnote_text;

that sets that <h3> to the footnote text but I can't find a reference in the 
commit history about that. There are two references to <h3> in the commit 
history but they don't seem related...

Jean-Christophe Helary
-----------------------------------------------
http://mac4translators.blogspot.com @brandelune