On Thu, Sep 26, 2024 at 07:54:37PM +0200, Patrice Dumas wrote: > I actually think that using @nodedescription/@nodedescriptionblock is a > good idea, as it is well suited for meta description (after > @documentdescription).
Done in: https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=340c1cf174e4facdd67b354c3934eb5d52e0ef9d -- Pat
