A couple of days ago the new and improved documentation site was launched http://docs.ingres.com/ to allow the pages to be indexed by Google and now also includes a handy feedback mechanism.
I created a simple Google gadget to create a document search query that can be added to your iGoogle home page. It took a couple of failed attempts to get it submitted to the Google gadget directory, but the Ingres Doc Search link can be used to install it directly.
Pingback: Improving the Improved - docs.ingres.com | An Ingres Blog
Pingback: Improving the Improved - docs.ingres.com | blogs.planetingres.org