Если нужно что-то совсем грубое -- смотрите в сторону генераторов статических сайтов (типа jekyll), подключите к нему поиск по сайту от Yandex или Google CSE, и готово.
Более изящным решением будут CMS вроде MediaWiki или Anchor CMS. Они лёгкие, в них нет ничего лишнего, но они по-прежнему будут удобными.
Есть и третий вариант (самый простой). Если страниц в вашем разделе справки, скажем менее или около 30, можно поступить проще: слепить всё на одной странице и разделить jQuery-плагином вкладок, плюс -- для jQuery есть пара хороших плагинов для поиска по текущей странице.