[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:
<https://savannah.gnu.org/bugs/?51362>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #51362] [PATCH]: Add a synonym for the font "CW",
G. Branden Robinson <=