Re: [gentoo-dev] Removal of old DTDs

2019-12-09 Thread Ulrich Mueller
> 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

[gentoo-dev] Removal of old DTDs

2019-12-03 Thread Ulrich Mueller
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 t