tree ed4032b7431296e3d74937d4b5ac1905b5859836
parent c1144a50764215755d7ee2bf4e6b584757d23d10
author Paul Eggert <eggert@cs.ucla.edu> 1768757001 -0800
committer Paul Eggert <eggert@cs.ucla.edu> 1768757968 -0800

doc: improve man page (mostly fonts)

Problems reported by Helge Kreutzmann in:
https://lists.gnu.org/r/bug-bison/2026-01/msg00000.html
* doc/bison.x: Refontify, mostly.
* src/getargs.c (usage): Clarify usage message.