| commit | 39c1239ed5d7f1a0239f8cd18b41e0bb61d81341 | [log] [tgz] |
|---|---|---|
| author | Paul Eggert <eggert@cs.ucla.edu> | Sun Jan 18 10:15:46 2026 -0800 |
| committer | Paul Eggert <eggert@cs.ucla.edu> | Sun Jan 18 10:16:18 2026 -0800 |
| tree | be930b4af507297f928f181d4bdbb0d2cb55b936 | |
| parent | dcf16ff191f2b76c4e7a033f5a40073fe0c1d974 [diff] |
doc: improve yacc man page fonts Problem reported by Helge Kreutzmann in: https://lists.gnu.org/r/bug-bison/2025-12/msg00000.html * doc/yacc.1.in: Fix fonts.