Book a Demo!
Store
Features
Docs
Share
Support
News
About
Policies
Sign Up
Sign In
sagemath
Edit Copy
Star
GitHub Repository:
sagemath/sage
Path:
blob/develop/src/bin/sage-grepdoc
4
0
5
2
views
#!/bin/sh cd "$SAGE_DOC" find html -name '*.html' | xargs grep "$@"