Re: COPYING.LIB in GNITS mode?

[Tom Tromey]

>>>>> "Paolo" == Bonzini Paolo <address@hidden> writes:

Paolo> Were the GNITS standards changed to remove the prescription, or
Paolo> was it removed because it was considered too harsh?  In my
Paolo> opinion, first of all the COPYING.LESSER file should be
Paolo> included in common_files, and given this, the enforcement on
Paolo> COPYING.LIB could be reintroduced and better explained in the
Paolo> manual.

I haven't seen COPYING.LESSER.  Is this really a common name for the
file now?

There are no written Gnits standards.  At one point it looked like
there might be, but then no one had time to write them.  This
restriction was lifted due to general agreement.

Tom