W3C home > Mailing lists > Public > html-tidy@w3.org > April to June 2002

Re: How to set a Document type while getting XML file

From: Bjoern Hoehrmann <derhoermi@gmx.net>
Date: Fri, 26 Apr 2002 19:50:09 +0200
To: ShafiS@lifecare.com
Cc: html-tidy@w3.org
Message-ID: <d6ugcu0g0l3ad8apfqrjjmg62pq1csfkhn@4ax.com>
* ShafiS@lifecare.com wrote:
>    I am using JTidy to convert html file to XML. But I did find any option
>to convert the <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> 
>    To my coutomized  Document type like : <!DOCTYPE html SYSTEM

As far as HTML Tidy is concerned, there is no such configuration option,
but it's on my todo list.
Received on Friday, 26 April 2002 14:41:07 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:38:51 UTC