sage-grepdoc

#!/usr/bin/env bash

cd "$SAGE_DOC/output"

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