Fix doc generation now that we have mutually exclusive options