bug-texinfo
[Top][All Lists]
Advanced

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

[RFC] makeinfo --html and case insensitive filesystems.


From: Carlos O'Donell
Subject: [RFC] makeinfo --html and case insensitive filesystems.
Date: Tue, 16 May 2006 16:00:31 -0400
User-agent: Mutt/1.5.11+cvs20060126

When generating html output using makeinfo --html, the @node names are
directly translated into .html files. This splitting may lead to two
files "Index.html" and "index.html" which conflict if the filesystem is
case-insensitive.

Would it be possible to have an option where split files are prefixed?
Complaining about two files which might conflict in a case insensitive
filesystem is also another option. Comments?

Many thanks!

Cheers,
Carlos.
-- 
Carlos O'Donell
CodeSourcery
address@hidden
(650) 331-3385 x716




reply via email to

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