]> git.saurik.com Git - bison.git/commit - ChangeLog
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 406dec8) | patch
doc: please Emacs.
authorAkim Demaille <demaille@gostai.com>
Tue, 11 May 2010 19:31:31 +0000 (21:31 +0200)
committerJoel E. Denny <joeldenny@joeldenny.org>
Sat, 19 Feb 2011 22:22:08 +0000 (17:22 -0500)
commitf3103c5b4fddf1d8f1d57a990772069538ccc706
tree44f06f61c0b59fbce3ca696025529df7284a5cbetree | snapshot
parent406dec82864f5015bca1cb8c4b0cc298dea39374commit | diff
doc: please Emacs.

* doc/bison.texinfo (Local Variables): Move this after the
LocalWords, since the latter are looked for in the whole document,
while the former are looked for only at its end.
Require american spell checking.
(cherry picked from commit e944aaff36c500c8de9537551fe1aa8458b23fe2)
ChangeLog diff | blob | blame | history
doc/bison.texinfo diff | blob | blame | history
bison