mirror of
https://git.savannah.gnu.org/git/bison.git
synced 2026-03-09 12:23:04 +00:00
* doc/bison.texinfo (Locations Overview): Rename node to... (Locations): ... this, which is its section name. Update menus to match that and not to use the title `Tracking Locations', which is a different section.