Search not working at php gtk website

[email protected] (Veronica Bendersky) Thu, 6 Jun 2013 00:22:01 -0300

Newsgroups	php.gtk.webmaster
Message-ID	<CAD4q33xy-Z6kk945j6f+U5a-EHfhySF+8g2Zb+RzG-7NHsm-XA@mail.gmail.com>

--047d7b2e07e75bcdda04de73d147
Content-Type: text/plain; charset=ISO-8859-1

Hi,

I've tried to use the search at gtk.php.net recently and it is not working,
it throws this error:

ErrorIndex file does not exist:
/home/Web/sites/php-gtk-web/include/PhpGtkDoc/index.search

This search is very useful since there is not much documentation for php
gtk out there.

Is it possible to fix it?

Thank you.

Regards,
Veronica

--047d7b2e07e75bcdda04de73d147--