Disable documentation generation.

It's not complete and we don't need it anyway, it just generates warnings.