#!/bin/sh

cd "$SAGE_DOC"

find html -name '*.html' | xargs grep "$@"
