Files
nethack/doc
G. Branden Robinson 9658f6769d doc/Guidebook.mn: Caption figures consistently
On my system, the figure captions in Guidebook.ps were getting set in
Courier roman.  This was clearly unintentional.  Here's why it didn't
work.

1.  Figures 1 and 2 selected the previous font, but only after a table
    had been set.  But tbl(1) does not preserve identity of the previous
    font.  I investigated, and none of GNU, Heirloom Doctools, nor
    Documenter's Workbench tbl implementations preserve it.  So the user
    can't rely on it.  See
    <https://savannah.gnu.org/bugs/index.php?64862>.

2.  Figure 3 attempted to select the roman font (typically Times), but
    did so in a table cell that was empty of text.  It therefore did not
    have any visible effect.

* doc/Guidebook.mn: Explicitly select font `R` after setting tables.  On
  typesetters, put half a vee of space between the table's box border
  and the figure caption.
2023-11-06 14:43:59 -06:00
..
2022-06-18 10:29:15 -04:00
2023-02-27 10:18:14 -05:00
2023-08-28 16:17:41 -04:00
2022-01-29 22:57:22 -05:00
2022-01-29 22:57:22 -05:00
2022-01-29 22:57:22 -05:00
2023-11-06 00:46:18 -08:00
2022-02-22 20:14:44 -05:00
2018-11-11 10:29:52 -05:00
2018-11-11 10:29:52 -05:00
2022-12-08 10:46:36 -05:00
2022-02-22 20:14:44 -05:00
2022-02-22 20:14:44 -05:00
2023-08-28 16:17:41 -04:00
2018-09-20 18:02:48 -04:00
2023-08-07 15:00:56 -04:00