W3C home > Mailing lists > Public > www-validator@w3.org > October 2002

Re: Beta: file name extensions

From: Bjoern Hoehrmann <derhoermi@gmx.net>
Date: Fri, 25 Oct 2002 12:23:40 +0200
To: Terje Bless <link@pobox.com>
Cc: W3C Validator <www-validator@w3.org>
Message-ID: <3de214d6.240148435@smtp.bjoern.hoehrmann.de>

* Terje Bless wrote:
>Bjoern Hoehrmann <derhoermi@gmx.net> wrote:
>
>>When trying to validate from http://validator.w3.org:8001/detailed.html
>>I got a "tip" that points at http://www.w3.org/Provider/Style/URI ^^^^^
>>
>>That's a rather surprising tip, since the document tells information
>>providers to omit file name extentensions from URIs, something the
>>validator does not do for it's documents :-)
>
>You've been talking to sbp and AaronSw haven't you? :-)

Not this time, no.

>This is a known issue which will be addressed at some point. But do note
>that the "Tip of the Day" feature points at tips defined outside of the
>Validator itself. The correct venue for feedback is outlined at
><URL:http://www.w3.org/2001/06tips/#process>.

I was complaining about the Validator using file name extensions, not
about the appearance of the tip or the tip in general.
Received on Friday, 25 October 2002 06:23:29 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 25 April 2012 12:14:04 GMT