#! /bin/sh
#
# This shell script takes care of building manifest files for the
# diffs, using the diffs and associated files in this directory.

for dfile in *.diffs
do
	base=`basename $dfile .diffs`
	rm -f /gnu/manifests/$base-diffs
	echo -n "/gnu/manifests/$base-diffs: "
	for fname in $base*
	do
		
		echo -n "src/diffs/$fname "
		echo "src/diffs/$fname" >>/gnu/manifests/$base-diffs
	done
	echo
done
