#!/bin/sh
#	Display the names of files that contain a "hole"
#	$Id: files-with-holes,v 1.3 1999-04-21 21:49:10 steve Exp $

re="${1-[^=]===[^=]|unimplemented|eventually}"

find . '(' -name '*.java' -o -name '*htm?' -o -name '*.if' -o -name '*.tex' \
        -o -name '*.p[lm]' -o -name '*.inc' -o -name '*akefile' ')' -type f  \
	\! -path '*javadoc*' \! -path '*/other/*' \
    -exec egrep -i -l "$re" {} \;