On Wed, Mar 18, 2020 at 1:25 AM Karl Berry <[email protected]> wrote: > > Hi Gavin - could you please install an entry for dejagnu in > htmlxref.cnf, as follows? It seems they only have a split html manual > online, which is fine. (It's referred to in the automake manual, where > I'm trying to clean up broken links.) Thanks! (Sorry, I don't think I > have a writable texinfo checkout at the moment.) --best, karl.
Done.
