pdfgrep is a tool for grepping pdf files. It is useful for students or anyone who needs to quickly and efficiently refer to pdf files.

Homepage: https://pdfgrep.org
License: GPL-2
Repo: https://gitlab.com/pdfgrep/pdfgrep *
Tarball: https://pdfgrep.org/download/pdfgrep-2.1.2.tar.gz

• The last commit to master was in August 2020 which makes me paranoid that this will be rejected for DOA. However the program solves a common task for which there is (afaik) no alternative in the repos. pdfgrep is clearly rather well-known, for example see this popular question on Stack Exchange (also note this answer which explains why poppler-utils is not a full substitute).

I would like to maintain this if accepted.