On Thu, Nov 09, 2000 at 03:41:13PM -0500, Steve Robbins wrote: > > copyright-file-contains-full-license might be better. > > I don't think that is better: sometimes the copyright file *should* be the > full license. How about copyright-file-contains-common-license? -- André Dahlqvist <andre@beta.telenordia.se>