Re: How to set a Document type while getting XML file from Bjoern Hoehrmann on 2002-04-26 (html-tidy@w3.org from April to June 2002)

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
>"xhtml1-transitional.dtd">

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