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
