W3C home > Mailing lists > Public > www-style@w3.org > May 2013

Re: Missing </head> in source of CSS specs causing problems for htmldiff tool?

From: Tab Atkins Jr. <jackalmage@gmail.com>
Date: Tue, 7 May 2013 09:23:33 -0700
Message-ID: <CAAWBYDD52KxRjL+bdJNM1k9EqsU5y9vEz1cBGFCugqLuY=X_OA@mail.gmail.com>
To: Šime Vidas <sime.vidas@gmail.com>
Cc: www-style list <www-style@w3.org>
On Tue, May 7, 2013 at 8:30 AM, Šime Vidas <sime.vidas@gmail.com> wrote:
> If you look at the HTML source code of a CSS specification (e.g.
> http://www.w3.org/TR/css3-flexbox/), you'll notice that the </head> tag is
> missing. This appears to cause problems with the htmldiff tool [1],
> specifically with its text highlighting functionality. (See this Twitter
> thread [2] for details.)
> For comparison, this is how the output of the htmldiff tool looks like with
> text highlighting [3], and this is how it looks without [4].
> I don't know how the HTML source code for the CSS WG specs is generated, but
> if there exists one master template, please consider adding the </head> tag
> to it.

This is perfectly valid HTML. If htmldiff is breaking when its
omitted, then it's a broken tool.  It should get a better HTML parser.

Received on Tuesday, 7 May 2013 16:24:20 UTC

This archive was generated by hypermail 2.4.0 : Friday, 25 March 2022 10:08:29 UTC