mps-bundle now tries to install the doxygen documentation.