Hooray! The MySQL reference manual has a new search system. It now uses a Google Appliance and the results should be a lot better. The old system was not very helpful. It used to break config variables into multiple words and search on them individually and give a billion results I didn’t care about. I’ve just tried to search for some things like key_buffer_size and got results I think are very useful.
I love the MySQL manual. It is a great example of quality software documentation. As someone recently mentioned, it is not released under a Free license though — that would be a great improvement, too!
When did this change happen, by the way? Maybe it’s been there for a while and I just missed it because I grew accustomed to using Google search instead.
Edit: I actually would suggest a change to this search, too. It’s the same change I have suggested in the past: put the document title in front of the manual’s title. Instead of “MySQL :: MySQL 5.1 Reference Manual :: 184.108.40.206 Restructuring a Key …” I would rather see “Restructuring a Key Cache :: MySQL 5.1 Reference Manual”. (Note that the title gets truncated as-is, and it’s hard to see in the browser’s titlebar/tab/system taskbar).