The following command on the attached .texi file never terminates, but spins while consuming more and more memory until it is killed:
$ makeinfo --html --no-split --no-headers setl-lib.texi
This is with the following version of makeinfo, from the Ubuntu 22.10 (Kinetic) apt package:
$ makeinfo --version
texi2any (GNU texinfo) 7.0
Copyright (C) 2022 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <
http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.
Thanks!
dB
setl-lib.texi