W3C home > Mailing lists > Public > site-comments@w3.org > June 2007

Re: [Moderator Action] About the dollar signs next to Date and ?Author information

From: Ian B. Jacobs <ij@w3.org>
Date: Thu, 28 Jun 2007 07:26:17 -0500
To: "Olga R." Muņoz <olgarev@gmail.com>
Cc: site-comments@w3.org, dom@w3.org
Message-Id: <1183033577.27241.1.camel@localhost>
On Thu, 2007-06-28 at 12:10 +0000, Olga R. Muņoz wrote:
> Hi,
> I have noticed you use dollar signs in the W3C site  to remark a date
> or the author, for example:
>     Last Modified: $Date: 2007/02/13 20:18:04 $ by $Author: ijacobs $
> At first I thought it was a mistake, but I have been regarding it in
> so many pages, that I now believe it is not an error. I have tried to
> google for an answer about what they are and how they can be used, but
> I cannot find one.
> My question is just that: what does the dollar sign mean and if it is
> a convention or recommendation of the W3C.

Hello Olga,

W3C uses the tool Concurrent Versions System (CVS) to help manage 
the W3C Web site. CVS includes "keyword substitution" features to help
automatically display version, author, date, and other information about
documents. See:

The string "$Date$" is expanded to the date/time the file was checked
into the CVS system.

I hope that helps,

 _ Ian

Ian Jacobs (ij@w3.org)   http://www.w3.org/People/Jacobs
Tel:                     +1 718 260-9447

Received on Thursday, 28 June 2007 12:26:22 UTC

This archive was generated by hypermail 2.4.0 : Monday, 18 April 2022 20:33:45 UTC