I misspoke: the files he's generating are now to
the point where they can be described by some DTD,
just not the one I suggested.
Mostly he's added <HEADER> and <BODY> tags and quoted
his HREFs.
But, for example, he's still putting numbers in the
NAME attribute of anchors. I wanted to use SGML
ids, which are guaranteed to be distinct per
anchor (modulo case of letters). But they
must start with a letter.
You can change the DTD so that the NAME attribute
is a NUMBER or NMTOKEN, but then you lose the distinctness
guarantee (or you change it from an SGML construct
to an application convention.)
And adding the HEADER and BODY elements to the DTD
the way he's used them makes most of the HTML out there broken.
Dan