#!/bin/sh

cd "$SAGE_DOC"

find html -print | GREP_OPTIONS= egrep '.html$' | xargs grep "$@"
