[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #51362] [PATCH]: Add a synonym for the font "CW"

From: G. Branden Robinson
Subject: [bug #51362] [PATCH]: Add a synonym for the font "CW"
Date: Thu, 23 Jul 2020 09:21:15 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Firefox/68.0

Update of bug #51362 (project groff):

                Severity:               2 - Minor => 1 - Wish               
              Item Group:                    None => New feature            
                  Status:               Need Info => Wont Fix               
             Open/Closed:                    Open => Closed                 


Follow-up Comment #3:

With #51364 now resolved, I don't think this is necessary, for the reasons
articulated in in this ticket's history and recent commits.

Do we really want this?  IMO it's not terribly portable for man pages to ask
for fonts that they can't get via the man macros, and when people try, they
get it wrong. 

Our own man page corpus is clean of CW font shenanigans now; with the recent
commit 97af31602991f330eed7b4f31354d5c34a729336, other people will get them
and can clean up their own pages accordingly.  (Perhaps after complaining on
the Internet first--c'est la vie.)


Reply to this item at:


  Message sent via Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]