#!/bin/csh

######################################################
# Shell script to concatenate a series of files that
# may have very long lines. Each file is preceded with
# the date, time, and filename
# Lee Chia Ling
# Created 09 Sept 1994
######################################################

if ("$1" == "") then 
        echo "Usage: " $0 " < filenames ... >"
else
        while ("$1" != "")
                echo =========================================================
                echo Filename = $1, printed at `date`
                echo =========================================================
                cat $1
                shift
        end
endif

echo done