#!/bin/bash
if [ $# -ne 1 ]
then
	echo "usage: $(basename $0) <policy file>" >&2
	exit 1
fi
while read hash dummy FILE
do
	if [ "$dummy" != "Filename:" ]
	then
		echo "Invalid line: $dummy"
		continue
	fi
	echo Commenting $FILE
	sed -i -e "s;^  *\(${FILE}\);     #\1;" $1
done
exit 0