URL:
<https://savannah.gnu.org/bugs/?65697>
Summary: Add info to comment headers of font description
files groff tools generate
Group: GNU roff
Submitter: barx
Submitted: Mon 06 May 2024 11:03:53 AM CDT
Category: Utilities
Severity: 1 - Wish
Item Group: Feature change
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Planned Release: None
_______________________________________________________
Follow-up Comments:
-------------------------------------------------------
Date: Mon 06 May 2024 11:03:53 AM CDT By: Dave <barx>
As mentioned in bug #63018, afmtodit's generated headers could additionally
include the names of the source files that generate them, and the
presence/values of command-line options that affect the generated contents.
Branden also notes there, "Could affect _afmtodit_, _hpftodit_, _tfmtodit_,
_addftinfo_, and _xtotroff_."
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?65697>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/