Akim Demaille f9b8635172 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.

2012-07-24 13:30:49 +02:00

403 KiB

Raw Blame History

View Raw