[Xenomai-core] Web site error (API doc search)

[Ignacio García Pérez]

Hi,

When I use the search function in the online API documentation, firefox
(1.0.7) downloads search.php. I guess something is fouled up.

Nacho.