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

Reply via email to