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/
