It seems wrong to use @acronym{GNU} three times in the @copying text,
when it isn't used in many more places -- including one other place in
@copying.

Personally, I'd just eliminate all uses of @acronym instead of trying to
keep it consistent.  Few GNU manuals use it.

karl


Reply via email to