[jboss-dev] jboss-web_5_0.dtd push to jboss.org
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(a)redhat.com