[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).
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 | 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.
@detailmenu
--- The Detailed Node Listing ---
@@ -11704,8 +11704,8 @@ London, Department of Computer Science, TR-00-12
(December 2000).
@uref{http://www.cs.rhul.ac.uk/research/languages/publications/tomita_style_1.ps}
@end table
address@hidden Index
address@hidden Index
address@hidden Index of Terms
address@hidden Index of Terms
@printindex cp
--
1.7.11.2
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [PATCH] {maint} doc: avoid problems with case insensitive file systems,
Akim Demaille <=