bug-groff
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #60929] device man pages should consistently document font repertoi


From: G. Branden Robinson
Subject: [bug #60929] device man pages should consistently document font repertoire
Date: Tue, 11 Jan 2022 17:06:48 -0500 (EST)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Firefox/78.0

Update of bug #60929 (project groff):

                Category:                    None => Device - others/general
                 Summary: Improve documentation of which fonts groff provides
by default => device man pages should consistently document font repertoire

    _______________________________________________________

Follow-up Comment #1:

I propose that device man pages should have a section "Typefaces", relatively
early in the narrative (before "Options", I should think) since this is a
crucial feature to users, that lists all styles/fonts for which groff ships
descriptions by default.  (A subsection of "Description" might also be
apropos.)

* grodvi(1) pretty much has this already, as "Usage".

* grohtml(1) does as well.  It supports only the four basic styles.

* grolbp(1) has it already under the desired section heading.

* grolj4(1) has nothing.  There is however the entire man page lj4_font(5),
which I propose to merge into this one.  Even that, however, does not
comprehensively enumerate the font descriptions available.  So this is the
longest pole so far.

* gropdf(1) has a list under "Usage", albeit mixed with a great deal of other
material, including a huge list of device control commands.

* grops(1)'s structure is parallel to gropdf(1)'s.

* grotty(1) has this information in a "Typefaces" subsection of "Description".
 It's similar to grohtml in that it only covers styles.

* gxditview(1) has this information in subsection "Default font map" of
"Description".

I don't know who still keeps an HP LaserJet jacked to their machine (we don't
ever get any bug reports about the driver), but it seems like that's the place
to start; it will also enable us to kill one of the 3 groff man pages on my
Death List (the others are ditroff(7) and groff_filenames(5)).

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?60929>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/




reply via email to

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