[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PATCH] {maint} doc: avoid problems with case insensitive file systems

From: Akim Demaille
Subject: [PATCH] {maint} doc: avoid problems with case insensitive file systems
Date: Tue, 24 Jul 2012 13:32:14 +0200

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).

* doc/bison.texi (Index): Rename as...
(Index of Terms): this.
 doc/bison.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/bison.texi b/doc/bison.texi
index 6346bf0..6156b41 100644
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -110,7 +110,7 @@ Reference sections:
 * Glossary::            Basic concepts are explained.
 * Copying This Manual:: License for copying this manual.
 * Bibliography::        Publications cited in this manual.
-* Index::               Cross-references to the text.
+* Index of Terms::      Cross-references to the text.
  --- The Detailed Node Listing ---
@@ -11704,8 +11704,8 @@ London, Department of Computer Science, TR-00-12 
(December 2000).
 @end table
address@hidden Index
address@hidden Index
address@hidden Index of Terms
address@hidden Index of Terms
 @printindex cp

reply via email to

[Prev in Thread] Current Thread [Next in Thread]