On 2025-06-18 21:45:12 +0100, Gavin Smith wrote: > This seems harmless, so I have committed it and will upload shortly > to ftp.gnu.org, but please let me know if there are further problems.
Thanks. I confirm that this is fixed for the GNU MPFR manual, without any side effect. For MPFR, I've compared the generated PDF document obtained with 2025-06-18.21 with the one with 2024-11-04.20 (GNU Texinfo 7.2), and there are no changes. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
