Re: [PATCH] v2: gccint.texi: add user experience guidelines

2018-10-18 Thread Sandra Loosemore
On 10/18/2018 03:12 PM, David Malcolm wrote: Here's an updated version of the patch, addressing your above comments, and those from Martin and Richard (I hope). Thanks, this one looks more readable. Some more specific comments included inline below. I have a couple of texinfo questions:

[PATCH] v2: gccint.texi: add user experience guidelines

2018-10-18 Thread David Malcolm
On Tue, 2018-10-16 at 21:39 -0600, Sandra Loosemore wrote: > On 10/12/2018 09:43 AM, David Malcolm wrote: > > Here's a proposed "User Experience Guidelines" section for our > > internals manual > > > > It's a mixture of proposed policy, together with notes on how to > > implement the recommendatio