[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: dejagnu in htmlxref.cnf

From: Gavin Smith
Subject: Re: dejagnu in htmlxref.cnf
Date: Wed, 18 Mar 2020 09:37:55 +0000

On Wed, Mar 18, 2020 at 1:25 AM Karl Berry <address@hidden> 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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]