dejagnu in htmlxref.cnf

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