pdf search form

Hello, I have a wordpress web site, I want to make a search form but it should be only find search pdf documents at my web page, for example I have lots of PDF documents(user manuals), any user et my site can find pdf documents with name. how can i do? Is there any html code? I don’t want to list all PDFs in a page.