I think a profile would be the way to go, but this would have quite arbitrarily mixed contents, basically only the "expensive but not strictly required plug-ins". For JavaDocs, we also could move that to a separate module as we e.g. do in HV (JavaDocs are built there only as part of the distribution module).
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see: http://www.atlassian.com/software/jira
I think a profile would be the way to go, but this would have quite arbitrarily mixed contents, basically only the "expensive but not strictly required plug-ins". For JavaDocs, we also could move that to a separate module as we e.g. do in HV (JavaDocs are built there only as part of the distribution module).