]> git.saurik.com Git - bison.git/commit
doc: clean up references to `Tracking Locations'.
authorJoel E. Denny <joeldenny@joeldenny.org>
Mon, 30 May 2011 02:18:27 +0000 (22:18 -0400)
committerJoel E. Denny <joeldenny@joeldenny.org>
Sat, 11 Jun 2011 16:25:21 +0000 (12:25 -0400)
commit303834ccb0487d1391c9b087c0d8787cb49076df
treec785dad0af8a0d0c2232507c2f771b51a876f2a0
parenta7b15ab99c444f75c9248cdaa72043069d64962b
doc: clean up references to `Tracking Locations'.

* doc/bison.texinfo (Locations): Rename node to...
(Tracking Locations): ... this, which is its section name, and
update all cross references.  The trouble is that there is another
node about locations.  Its section name is `Locations', which was
easily confused with the node name of this node.  Moreover, its
node name is `Locations Overview', which was mistakenly used to
label some cross references to this node.
(cherry picked from commit 7404cdf3a1235c4f7304c29b942ac72029600f19)

Conflicts:

doc/bison.texinfo
ChangeLog
doc/bison.texinfo