I believe that it does not follow the uri in the document DOCTYPE
definition
Well, evidently not, since
http://www.gnu.org/software/texinfo/dtd/6.0/texinfo.dtd is found just
fine when visited directly. Unless there is an error in the dtd
preventing it from being applied, which is certainly possible.
but rather looks in the system catalog for DTDs, but
that's a wild guess.
Hmm, I just don't get it. Then no document could ever specify its own
dtd, but that's the whole point of having dtd's in the first place!
In any event, the full line being output is, as we've always done:
<!DOCTYPE texinfo PUBLIC "-//GNU//DTD TexinfoML V6.0//EN"
"http://www.gnu.org/software/texinfo/dtd/6.0/texinfo.dtd";>
Maybe there is some other magical stuff that needs to go in there to
make it be effective. Too many standards ... -k
