Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > gnu.groff.bug > #1947

[bug #58894] remove nonfunctional lines from groff font files

From Dave <INVALID.NOREPLY@gnu.org>
Newsgroups gnu.groff.bug
Subject [bug #58894] remove nonfunctional lines from groff font files
Date 2020-08-04 09:31 -0400
Message-ID <mailman.747.1596547924.2739.bug-groff@gnu.org> (permalink)
References <20200804-011119.sv93119.91090@savannah.gnu.org> <20200804-085844.sv108747.61637@savannah.gnu.org> <20200804-083158.sv93119.61909@savannah.gnu.org>

Show all headers | View raw


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/

Back to gnu.groff.bug | Previous | Next | Find similar


Thread

[bug #58894] remove nonfunctional lines from groff font files Dave <INVALID.NOREPLY@gnu.org> - 2020-08-04 09:31 -0400

csiph-web