I would include them. You are correct about release 1.3. Roberta On May 4, 2016 4:06 PM, "Steve Varnau" <[email protected]> wrote:
> Roberta, Gunnar, (and anyone else who cares), > > > > I was generating source package for the release, and found that we are > excluding some doc directories. The comment in the .gitattributes file > says: > > > > Remove documentation until until our generation code is available > > > > I take it the concern in 1.3 time frame was that docs were out of synch > with rest of the code. But now I think we should be including all the docs > with the release, yes? > > > > --Steve >
