One of the best things about a wiki it lets you search the site.

Our wiki links to some html files on the same machine, which also need to be searchable. These files are automatically generated for various purposes, including Doxygen files documenting source code, and don't belong in the wiki itself.

It would be nice if MediaWiki's search engine could encompass these files.

Thanks