Subject: Re: bug#13371: removing @acronym from manual

From: Assaf Gordon <[email-masked]>
Date: Thu, 18 Oct 2018 17:20:18 -0600

tags 13371 fixed
close 13371
stop

(triaging old bugs)

Hello,

On 06/01/13 04:09 PM, Karl Berry wrote:
> Since there's no special benefit to using @acronym{GNU} or @sc{gnu} over
> just plain "GNU", it's merely about typographic preferences, my
> suggestion was that it was better to avoid the whole issue, simplify the
> source, and go with "GNU".

There are no more "@acronym" in the manual,
and GNU is used without @sc/@acronym through-out.

Closing this bug.

-assaf