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
