> From: Raymond Toy
> Date: Sun, 1 Mar 2020 09:56:09 -0800
>
> For example, visit
> https://www.gnu.org/software/texinfo/manual/texinfo/texinfo.html#Writing-a-Texinfo-File.
>
> You get to section "2 Writing a Texinfo File". This is fine. But it would
> be nice if I could click on the title
A bit of a feature request for texinfo files converted to html.
For example, visit
https://www.gnu.org/software/texinfo/manual/texinfo/texinfo.html#Writing-a-Texinfo-File.
You get to section "2 Writing a Texinfo File". This is fine. But it would
be nice if I could click on the title (or somethin
