#!/bin/sh
# spellgrep -- A procedure used for aiding in the search for spelling mistakes.
# Use this with xargs and the list of bad words found by spell

gnugrep -i -n "\(^\|[^A-Za-z0-9]\)$1\($\|[^A-Za-z0-9]\)" *.texinfo
