pdfgrep: Pdfgrep is a tool to search text in PDF files. It works pdfgrep: similar to `grep'. pdfgrep: pdfgrep: * Features pdfgrep: - search for regular expressions. pdfgrep: - support for some important grep options, including: pdfgrep: + filename output. pdfgrep: + page number output. pdfgrep: + optional case insensitivity. pdfgrep: + count occurrences. pdfgrep: - and the most important feature: color output!