[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.
Done.