#!/bin/csh -f

foreach file ( contents submissions preparing trial official binaries \
               ftpserver patching schedule contributors cvs )
  echo "File ${file}.txt ..."
  cat html_header ${file}.txt html_footer > ${file}.html
end