Re: user-defined html in navigation header/footer?

[Gavin Smith]

On Mon, Jul 9, 2018 at 5:55 PM, Karl Berry <address@hidden> wrote:
> Hi Gavin and all - I suggest it would be useful to support a
> user-defined navigation "button" that would appear next to [Contents]
> xand [Index]. (If it's already possible, please let me know. I couldn't
> find it in the doc or souces.)
>
> Just one user variable seems like it would suffice, say
> USER_NAVIGATION_HTML
>
> It would be inserted wherever the other buttons are.
>
> The thing I want to do (and that would seemingly be nice to have for
> just about every package), is a link to the package home page. As in,
>
> -c USER_NAVIGATION_HTML="[<a 
> href="https://gnu.org/software/texinfo/";>Home</a>]"
>
> But I can imagine people wanting to have more buttons, or something else
> entirely, so just as well to make it a generic feature.
>
> Looking at Convert/HTML.pm, I admit it's not obvious to me where/how to
> implement this, but I hope it would not be hard.

Looking at the code I believe the code where the buttons are output is
'_default_navigation_header_panel' in HTML.pm. I'm not sure what the
best way of achieving this is. The code does refer to some
configuration variables like SECTION_BUTTONS but I'm not sure if these
are user-settable. Probably something is possible with the
undocumented API (some documentation under doc/draft_api.texi).
Another option is using some other tool to post-process the HTML files
produced by texi2any to add the links.