Document Search?

Hi,
You can check out WPDM Directory Add-on demo here https://demo.wpdownloadmanager.com/wpdmpro/archive-page-default/

It might work for you. Directory add-on has ajax search and some other features.

Your docs need clarification – I finally found the shortcode to display all docs & there’s a ‘search’ box that filters the view, which should work fine.