bug-groff
[Top][All Lists]
Advanced

[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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]