public inbox for gentoo-dev@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-dev] Removal of old DTDs
@ 2019-12-03 12:10 Ulrich Mueller
  2019-12-09 21:18 ` Ulrich Mueller
  0 siblings, 1 reply; 2+ messages in thread
From: Ulrich Mueller @ 2019-12-03 12:10 UTC (permalink / raw
  To: gentoo-dev

[-- Attachment #1: Type: text/plain, Size: 343 bytes --]

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.

Ulrich

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: [gentoo-dev] Removal of old DTDs
  2019-12-03 12:10 [gentoo-dev] Removal of old DTDs Ulrich Mueller
@ 2019-12-09 21:18 ` Ulrich Mueller
  0 siblings, 0 replies; 2+ messages in thread
From: Ulrich Mueller @ 2019-12-09 21:18 UTC (permalink / raw
  To: gentoo-dev

[-- Attachment #1: Type: text/plain, Size: 710 bytes --]

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

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 487 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2019-12-09 21:18 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2019-12-03 12:10 [gentoo-dev] Removal of old DTDs Ulrich Mueller
2019-12-09 21:18 ` Ulrich Mueller

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox