W3C home > Mailing lists > Public > public-secondscreen@w3.org > August 2015

Re: [presentation-api] Use TIDY instead of TIDY-HTML5 to make it settable in from ENV.

From: François Daoust via GitHub <sysbot+gh@w3.org>
Date: Mon, 24 Aug 2015 08:10:55 +0000
To: public-secondscreen@w3.org
Message-ID: <issue_comment.created-134085818-1440403853-sysbot+gh@w3.org>
I believe that the tidy repository used to generate a `tidy-html5` 
binary (perhaps as a way to disambiguate with the good ol' tidy for 
HTML4 tool). That is no longer the case so it makes sense to me to 
switch both the ENV variable and the default binary name to just 

GitHub Notif of comment by tidoust
Received on Monday, 24 August 2015 08:10:57 UTC

This archive was generated by hypermail 2.3.1 : Monday, 24 August 2015 08:10:58 UTC