Paul Eggert c6d1f65185 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.

2026-01-18 09:39:28 -08:00

1.3 KiB

Raw Permalink Blame History

View Raw