Node:Time, Next:Timezone, Previous:Format, Up:timestamp
The time parameter can be one of four values:
filetime for using the last modified time
of the source file (as indicated by the file system). This is the
default if a time parameter is not supplied.
buildtime for the time when Transbuild is
run to generate the target file. If multiple files are generated in a
single Transbuild run, this time will be the same for all of them.
yyyy-MM-ddTHH:mm:ss or left truncations of it.
Leading and trailing spaces are ignored. (The current implementation
does not support fully the W3C date time format: it does not recognise
fractions of seconds and timezone designators.)
$Date: yyyy/MM/dd
HH:mm:ss $. The time is interpreted in the UTC timezone.
Leading and trailing spaces are ignored.
This feature was implemented to support using CVS to manage the changes to the source files. Scripts can be written to automatically extract the last checked-in time from the source file.