Those of you that use the "many HTML files" downloadable php manual distro, please try my search engine.
I don't claim that it is beautiful or well coded, but I use it every day myself.
I recently added search hit highlighting. But that is still a little buggy.
Since I don't want emails from the entire world to my desktop, please use this forum for any comments.
Try one of these:
http://bantarsajten.net/dl/php-manual-s ... .1.tar.bz2
or
http://bantarsajten.net/dl/php-manual-search-0.1.tar.gz