Hi hansguido,
It’s actually funny you bring this up because I am in the early stages of developing a plugin that would enable exactly this. Unfortunately, there is no such option with core WP functionality and this functionality is way outside the scope of Document Gallery.
Such a plugin would need to parse the files and find the text. With plain text files that wouldn’t be too hard, but think about trying to get the text out of a PDF or a Word document. The plugin would need intimate knowledge about how that file is encoded and how to pull out text which could then be searched. Definitely not an easy thing to do 🙂
Anyway, sorry for the rambling. Short answer is, there is no such functionality in WP core or any existing plugin that I know of. This (paid) plugin does appear to support searching some PDFs, though looks like only PDFs that aren’t the result of scanning in a document.
-Dan
Hi Dan, thanks for the reply! Making the descriptions of the documents searchable would already help. So not the content of the documents themselves. Is that an option?