Using $Date$ in HTML

Using $Date$ in HTML

[Martin von Loewis]

I noticed that the "Last changed" line in the HTML files is rarely
accurate. We could automate this with CVS, in patches similar to
this one:

? diff
Index: configure.html
===================================================================
RCS file: /egcs/carton/cvsfiles/wwwdocs/htdocs/install/configure.html,v
retrieving revision 1.14
diff -u -r1.14 configure.html
--- configure.html	1998/09/23 10:54:08	1.14
+++ configure.html	1998/09/23 17:55:08
@@ -153,7 +153,7 @@
 
 <p>
 <hr>
-<i>Last modified on Sep  23, 1998.</i>
+<i>Last modified on $Date: 1998/09/23 17:53:18 $.</i>
 
 </body>
 </html>

Is this something I should do? As a draw back, some files might show
the date this is changed as the change date for a long time...

Martin

Re: Using $Date$ in HTML

[Gerald Pfeifer]

On Wed, 23 Sep 1998, Martin von Loewis wrote:
> I noticed that the "Last changed" line in the HTML files is rarely
> accurate.

Personally I always update that, too, but it's way to easy to miss and
I agree that stuff like this should be automated. 

> Is this something I should do?

Sorry, please do not do this (yet).

I have been assigned web pages maintainer very recently and, together with
Marc Lehmann, I've been pondering about how to solve this and similiar
issues. 

Actually I wanted to introduce myself with some suggestions and a couple
of questions on the desired direction of the web pages next week.

So please refrain from making significant changes like this for now until
a more general framework has been fixed and I'll try to make that
announcement and request for further comments as soon as possible... ;-) 

Gerald (from a secondary account, due to server upgrades)