Merge "envsetup.sh : add help text for sepgrep and mangrep commands"
diff --git a/envsetup.sh b/envsetup.sh
index 45c4067..531ffd9 100644
--- a/envsetup.sh
+++ b/envsetup.sh
@@ -14,6 +14,8 @@
- ggrep: Greps on all local Gradle files.
- jgrep: Greps on all local Java files.
- resgrep: Greps on all local res/*.xml files.
+- mangrep: Greps on all local AndroidManifest.xml files.
+- sepgrep: Greps on all local sepolicy files.
- sgrep: Greps on all local source files.
- godir: Go to the directory containing a file.