On 11/14/20, G. Branden Robinson <g.branden.robin...@gmail.com> wrote: > At 2020-11-14T06:08:03-0600, Dave Kemper wrote: >> I started looking into how to script the changes needed to the Texinfo >> files, hit a roadblock, and set it temporarily aside. I need to go >> back to it. > > Urp--I didn't even realize hacking our Texinfo was a necessary > consequence of hauling in new TeX hyphenation patterns for _groff_.
Sorry -- I must have had Texinfo on the brain from the previous topic in this reply, and my fingers ran with it. Please ignore my attempt to conflate these topics. s/Texinfo/tex-hyphen/
