copy $sourcedir.'/'.$_, $htmldir or
  die "Error in copying '$sourcedir/$_' to '$htmldir': $!\n";