2013/3/28 Anders Hammar <[email protected]>

>
>  My view is create a jira for the doc improvements and then deploy the
>> -SNAPSHOT site after the release once the fixes are in ;-)
>>
>
> As long as the doc fixes are backwards compatible...
>

Yup, sure.
Or with small things, we could try not to lose the user (having a different
version in the top right corner, etc.) by:
* committing this to trunk
* then switching to the tag and manually report the small modification and
site-deploy (without committing, goes without saying)

Reply via email to