pdfgrep is a tool to search text in PDF files. It works similarly to grep. See pdfgrep.org for details
