]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 733d454) | patch
doc: avoid problems with case insensitive file systems
authorAkim Demaille <akim@lrde.epita.fr>
Tue, 24 Jul 2012 11:24:20 +0000 (13:24 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Tue, 24 Jul 2012 11:30:49 +0000 (13:30 +0200)
commitf9b8635172493ffa1593315b71116a8c84bed47e
tree1528ffd3fc87280d7a3ea9de4e29db38ade52331tree | snapshot
parent733d4546cee292f148b8a3ff1d33bc38066338d8commit | diff
doc: avoid problems with case insensitive file systems

makeinfo --html generates index.html, and the node "Index" will result
in Index.html.  On case insensitive file systems, such as on Mac OS X
by default, this results in a single, invalid, file (Texinfo 4.13).
See http://lists.gnu.org/archive/html/bug-texinfo/2012-07/msg00032.html

* doc/bison.texi (Index): Rename as...
(Index of Terms): this.
doc/bison.texi diff | blob | blame | history
bison