* doc/misc/ert.texi (Running Tests in Batch Mode): Document test selectors.
Attach a file by drag & drop or click to upload