# Recursively search PDFs in this directory for the phrase "micro-kernel".
# The -r flag is for searching recursively, and -n is for listing the page numbers.
pdfgrep -r -n "micro-kernel" .