shogun-toolbox/shogun — pull request #1135 by ppletscher (2013-06-01 13:26:03+00:00)
Title: 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.