#!/bin/csh
rm -rf Tmp/*

foreach d ( $* )
  echo copying $d
  cat $d/index.html >> Tmp/all.html
  cp $d/*.gif Tmp/
end
