]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7404cdf) | 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>
Mon, 30 May 2011 02:32:56 +0000 (22:32 -0400)
commit8348436580ae3db8091f564e8b24d552a9d23590
tree32fa73b325db5acab406a82ac8b11c40eaafea94tree | snapshot
parent7404cdf3a1235c4f7304c29b942ac72029600f19commit | 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.
ChangeLog diff | blob | blame | history
doc/bison.texinfo diff | blob | blame | history
bison