Details
-
Improvement
-
Status: Closed
-
Minor
-
Resolution: Won't Fix
-
None
-
None
-
None
Description
Jeff Turner wrote:
Given that published DTDs don't change, and are very compressible, how
about we store them zipped? According to a comment in Catalog.java, the code could fish the DTD out of zips:
<public publicId="-//OASIS//DTD Simplified DocBook XML V1.0//EN"
uri="jar:docbook412.zip!/sdocbook/1.0/sdocbook.dtd"/>
Given that published DTDs don't change, and are very compressible, how
about we store them zipped? According to a comment in Catalog.java, the code could fish the DTD out of zips:
<public publicId="-//OASIS//DTD Simplified DocBook XML V1.0//EN"
uri="jar:docbook412.zip!/sdocbook/1.0/sdocbook.dtd"/>