pdfgrep is a commandline tool to search through PDF files. It's similar in its application to grep, and also allows searching with regular expressions or case-insensitively, and recursively through directories. It prints out filenames, page numbers, number of occurences, and most importantly a colorized match list.
1.3.110 Aug 2014 23:44
There's an incompatible change in this release in that the -r option no longer follows symlinks. Newly introduced is a zsh completion module, support for password-protected PDFs, and that '.' can be omitted from recursive directory searches. With the added -p or --page-count matches are counted per page, and -m or --max-count introduces limits per file.