... api ...
... post-process the HTML files ...
Sure, but isn't this a basic enough feature to be worth providing in
Texinfo? I have always missed a link to package home pages from Texinfo
manual web pages.
I'm not sure what the best way of achieving this is.
Patrice, are you still
On Mon, Jul 9, 2018 at 5:55 PM, Karl Berry 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.)
>
>
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