- From: Dave Raggett <dsr@w3.org>
- Date: Fri, 31 Mar 2000 14:31:33 +0100 (GMT Daylight Time)
- To: Jelks Cabaniss <jelks@jelks.nu>
- cc: html-tidy@w3.org
On Tue, 28 Mar 2000, Jelks Cabaniss wrote: > > As a work around I will change the default for the add-xml-pi > > option to no in the next release, see line 65 in config.c > > > > Bool XmlPi = no; /* add <?xml?> for XML docs */ > > Being nit-picky, it probably should be > > add-xml-decl > > (not PI). I've called it a PI too, only to be told in no > uncertain terms that it is *not* a PI, it just *looks* like one. No problem, it is easy to support this as well as the old name for the property. You will able able to use add-xml-decl or add-xml-pi in the next release. Regards, -- Dave Raggett <dsr@w3.org> http://www.w3.org/People/Raggett tel/fax: +44 122 578 3011 (or 2521) +44 385 320 444 (mobile) World Wide Web Consortium (on assignment from HP Labs)
Received on Friday, 31 March 2000 08:31:34 UTC