>>>>> On Tue, 03 Dec 2019, Ulrich Mueller wrote:

> There are some DTDs in data/dtd.git which were needed for the old XML
> pages. Apparently the following are no longer used:

>    gleps.dtd
>    metadoc.dtd
>    project.dtd (not to be confused with projects.dtd which is in use)
>    userinfo.dtd

> Unless anybody speaks up who is still using them, I'm going to delete
> them in one week from now.

These are gone now.

Second round: Is anyone still using the old GuideXML DTDs?

   book.dtd
   common.dtd
   funnychars.dtd
   guide.dtd

If not, they could go as well.

(I had originally thought that we could reuse common.dtd for the
Devmanual, but it turns out that DevBook XML is too different.)

Ulrich