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/