]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 303834c) | patch
doc: clean up references to `Locations Overview'.
authorJoel E. Denny <joeldenny@joeldenny.org>
Mon, 30 May 2011 02:30:55 +0000 (22:30 -0400)
committerJoel E. Denny <joeldenny@joeldenny.org>
Sat, 11 Jun 2011 16:37:09 +0000 (12:37 -0400)
commit1769eb301161c1c1cdc807986ba51a8bd5e8ad1d
tree84d8829690bef4c73a2fd4ce0ad1b4525b7bd889tree | snapshot
parent303834ccb0487d1391c9b087c0d8787cb49076dfcommit | diff
doc: clean up references to `Locations Overview'.

* 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.
(cherry picked from commit 8348436580ae3db8091f564e8b24d552a9d23590)
ChangeLog diff | blob | blame | history
doc/bison.texinfo diff | blob | blame | history
bison