[Top][All Lists]

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

dejagnu in htmlxref.cnf

From: Karl Berry
Subject: dejagnu in htmlxref.cnf
Date: Tue, 17 Mar 2020 19:20:41 -0600

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.

--- texinfo/util/htmlxref.cnf   2019-06-11 00:25:12.752729993 -0700
+++ /tmp/hx     2020-03-17 18:18:42.655431188 -0700
@@ -116,4 +116,6 @@
 ddd            mono    ${GS}/ddd/manual/html_mono/ddd.html
+dejagnu                node    ${GS}/dejagnu/manual/
 ddrescue       mono    ${GS}/ddrescue/manual/ddrescue_manual.html

reply via email to

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