And if you want the search to run on Linux, there are some really nice open-source apps that will parse and index all of those PDF files for you. I run those on servers for my clients, but there's nothing preventing them from running on a laptop or desktop. Works fast, too!