doxygen fixes

The first two commits should be safe to apply.

With the third one I'm not 100% sure: it seems the pages*/Examples*.mainpage are dynamically generated by the Makefile, so it seems there is no point in keeping them in the git repository. Or am I missing something? Also, the files are ignored according to the gitignore file.