#!/bin/sh
#
# Simple script to make holes in files.
# Copyright 1996 Michael Meskes.
# Copying is permitted under the terms of the GPL.
#
while [ $# -gt 0 ];
do
	if [ -f $1 -a ! -L $1 ]
	then
		file=`basename $1`
		mv $1 /tmp/$file
		dir=`pwd`"/"`dirname $1`
		(cd /tmp; echo $file | cpio -p --sparse --quiet $dir)
		/bin/rm /tmp/$file;
	fi
	shift 1
done
