• Glenn Morris's avatar
    More Texinfo 5 updates for make-manuals (not yet finished) · 517f20c5
    Glenn Morris authored
    * admin/admin.el (manual-html-fix-headers): Tweak Texinfo 5 body.
    (manual-html-fix-node-div): Treat "header" like "node".
    (manual-html-fix-index-1): Handle Texinfo 5 top heading.
    (manual-html-fix-index-2): Tweak Texinfo 5 listing tables.
    517f20c5
admin.el 29.1 KB