I don’t have a Ventura machine to check, but /usr/bin/makeinfo is certainly present in Monterey.
$ ll /usr/bin/makeinfo -rwxr-xr-x 1 root wheel 611936 Dec 2 00:43 /usr/bin/makeinfo* -- Marc Wilson posgu...@gmail.com
I don’t have a Ventura machine to check, but /usr/bin/makeinfo is certainly present in Monterey.
$ ll /usr/bin/makeinfo -rwxr-xr-x 1 root wheel 611936 Dec 2 00:43 /usr/bin/makeinfo* -- Marc Wilson posgu...@gmail.com