Documentation: do not generate a module index