- From: Jelks Cabaniss <jelks@jelks.nu>
- Date: Sat, 3 Jul 1999 17:11:04 -0400
- To: <html-tidy@w3.org>
Given the input file: <!DOCTYPE doc [ <!ELEMENT doc (para|foo)*> <!ELEMENT para (#PCDATA|em)*> <!ELEMENT em (#PCDATA)> <!ELEMENT foo EMPTY> ]> <doc> <para>Now <em>is</em> the time.</para> <foo/> </doc> and options of: input-xml: yes output-xml: yes indent: no new-inline-tags: em new-blocklevel-tags: doc, para new-empty-tags: foo add-xml-pi: yes I get: <?xml version="1.0"?> <!DOCTYPE doc [ <!ELEMENT doc (para|foo)*> ]> <doc> <para> Now <em> is </em> the time. </para> <foo /> </doc> I hadn't played with xml input before, so I was kind of surprised to see this. It appears to be "eating" the internal subset, "indent" appears to be ignored, as do the new-*-tags options. ? /Jelks
Received on Saturday, 3 July 1999 17:11:15 UTC