Listing 4. Rule for Putting a Timestamp in a Generated HTML File

:rule %.html : header.part
               %_title.part
               middle.part
               %.part
               footer.part
   :print Generating $-target
   :cat $source
       | :eval string.replace(stdin,
                         '@TIMESTAMP@', _no.DATESTR)
       >! $target

