[jboss-dev] jboss-web_5_0.dtd push to jboss.org

[Brian Stansberry]

The jboss-web_5_0.dtd available from 
http://www.jboss.org/j2ee/dtd/jboss-web_5_0.dtd is different from the 
one in AS 5's docs/dtd directory. Looks like an updated version needs to 
be pushed to jboss.org (cc'd).

Probably a general update is in order.

-- 
Brian Stansberry
Lead, AS Clustering
JBoss, a division of Red Hat
brian.stansberry at redhat.com