* Steve Robbins <steven.robbins@videotron.ca> [20001109 15:41]: > > copyright-file-contains-full-license might be better. > > I don't think that is better: sometimes the copyright file *should* > be the full license. In those cases, the warning won't be shown anyway. However, what about: copyright-file-contains-full-gpl -- Martin Michlmayr tbm@cyrius.com