Do we need regenerate documents every time if the commit contains changes to document source? Looking through the past commits that touch the doc source, I don't see a consistent pattern. Sometimes we regenerate doc, sometimes we don't. I assume this is not a big deal as every release will force regenerate documents anyway.
On Fri, Nov 18, 2016 at 11:51 AM, Patrick Hunt <[email protected]> wrote: > On Sun, Nov 13, 2016 at 5:09 PM, Flavio Junqueira <[email protected]> wrote: > > > I have merged ZK-2014, many thanks to Michael for the work, that's an > > important issue for this project. > > > > One thing missing with respect to ZK-2014 is documentation. The pull > > request contained doc changes, but I didn't want to mess with the work of > > the merge script so I haven't regenerated the docs. I'll do it > separately, > > but for awareness, I want to make sure that we all know that it needs to > > happen. > > > > > Is there a JIRA for this? If not one should be created. > > Patrick > -- Cheers Michael.
