This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Using $Date$ in HTML
- To: egcs at cygnus dot com
- Subject: Using $Date$ in HTML
- From: Martin von Loewis <loewis at informatik dot hu-berlin dot de>
- Date: Wed, 23 Sep 1998 19:58:57 +0200
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