Eliminate useless include files. They disturb automatic generation of html doc

No match.