[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #58894] remove nonfunctional lines from groff font files
From: |
Dave |
Subject: |
[bug #58894] remove nonfunctional lines from groff font files |
Date: |
Tue, 4 Aug 2020 09:31:58 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Firefox/45.0 |
Follow-up Comment #2, bug #58894 (project groff):
Makes sense to me. Communicating via comments that groff ignores these lines
is important to anyone looking at the files who might otherwise conclude this
is a useful thing to do. But the lines don't actually have any effect, so
whether they're specifically commented _out_ (as opposed to merely being
commented upon) doesn't seem to matter much.
As bug #57506 notes, the font files in devps live in a gray area between
original source files and generated files. I don't know how much of their
content comes from afmtodit and how much (if any) is manually edited after the
fact.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?58894>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/