server.xml dtd

[Stefan Woithe]

Hi tomcat users,

where can I find a dtd and other discribing information for server.xml?

Thanks

Stefan