#! /bin/csh -f
# jtb 030123
# Build a list of files in the website that contain the BULK_
# tag. Paste the output of this manually into BULKMAKE, in the
# BULKFIX section.

set sedFile="~/bin/bulkfix.sed"
set bulkFile="~/tmp/bulkies"
set grepStr="BULK"

set dirs=(lib canon ptf pali)

cd $HTML_DIR
echo -n doing `pwd`...
grep -l $grepStr *.html > $bulkFile
foreach x ($dirs)
	echo -n $x...
	find $x -name '*html' -exec grep -l $grepStr {} \; >> $bulkFile
end
echo "done. "