G. Branden Robinson
unread,Jul 23, 2020, 9:21:17 AM7/23/20You do not have permission to delete messages in this group
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to G. Branden Robinson, Bjarni Ingi Gislason, Bertrand Garrigues, bug-...@gnu.org
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/