| commit | c6d1f65185dfd11e711df985674c03ec00a1dab2 | [log] [tgz] |
|---|---|---|
| author | Paul Eggert <eggert@cs.ucla.edu> | Sun Jan 18 09:23:21 2026 -0800 |
| committer | Paul Eggert <eggert@cs.ucla.edu> | Sun Jan 18 09:39:28 2026 -0800 |
| tree | ed4032b7431296e3d74937d4b5ac1905b5859836 | |
| parent | c1144a50764215755d7ee2bf4e6b584757d23d10 [diff] |
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.