On Tue, May 29, 2018, at 9:43 PM, Gyan Doshi wrote: > > They do here. Which version of makeinfo do you have? 6.5 Works when "--init-file=doc/t2h.pm" is omitted. Didn't investigate further. > More importantly, which version is on the project server? 5.2