On Thu, Jul 25, 2024 at 07:55:03PM -0700, Roger Crew via Bug reports for the 
GNU Texinfo documentation system wrote:
> I've included a vague "patch" (**) below, which looks to me to be all
> that's needed, but I may be wrong (read: it's not really a patch and I
> haven't tested anything yet).

Here it is:
https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=2f185696654b41dd43d1904f66fc4c9ed0ae73ca

> (*) Mainly it's about not liking the amount of vertical space taken
> up.  I would like the <h5>s to go away and instead have the
> number/mark be inlined into the first paragraph as is done in
> plaintext info and the printed documents.  I also want to give each
> footnote its own <div> to make inter-note padding/margin accessible so
> that removing the <h5>s doesn't cause multi-paragraph footnotes to run
> together.

If you are ready to share the code, it could be interesting to have it
in a maintained init file if it gives a result more similar with other
formats.

-- 
Pat

  • (featu... Roger Crew via Bug reports for the GNU Texinfo documentation system
    • R... Patrice Dumas
      • ... Roger Crew via Bug reports for the GNU Texinfo documentation system
        • ... Patrice Dumas
          • ... Patrice Dumas
    • R... Patrice Dumas

Reply via email to