Re: dejagnu in htmlxref.cnf

2020-03-18 Thread Gavin Smith
On Wed, Mar 18, 2020 at 1:25 AM Karl Berry 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

dejagnu in htmlxref.cnf

2020-03-17 Thread Karl Berry
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 w