Fix MANIFEST and INSTALLED_MANIFEST *again*

Some doxygen-generated files changed *again*.