Change #238168
Category | texinfo |
Changed by | Gavin Smith <gavinsmith0123 | @gmail.com>
Changed at | Wed 02 Jul 2025 23:44:10 |
Repository | https://git.savannah.gnu.org/git/texinfo.git |
Project | texinfo |
Branch | master |
Revision | c65d47ba44399f185db610805064ccc8869cc60c |
Comments
* NEWS: mention -c FORMAT_MENU=menu_no_detailmenu. * README-hacking: clarify how to find post-release tasts in TODO. * doc/texinfo.texi (Global Customization Variables) <FORMAT_MENU>: Edit slightly.
Changed files
- ChangeLog
- NEWS
- README-hacking
- doc/texinfo.texi