POV-Ray documentation search tool

This tool is a simple shell script offering full text search of the POV-Ray 3.6 documentation

This tool is now part of the Minimal POV-Ray GUI for KDE - see there fore more details and an up-to-date version.