GNU bug report logs - #32519
elisp manual filename conflict

Previous Next

Full log

Message #14 received at 32519 <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Nir Nagid <sailor.nir <at> gmail.com>
Cc: rgm <at> gnu.org, 32519 <at> debbugs.gnu.org
Subject: Re: bug#32519: elisp manual filename conflict
Date: Tue, 28 Aug 2018 08:51:53 +0300

> Bcc: rgm <at> gnu.org
> Date: Sat, 25 Aug 2018 10:23:22 +0300
> From: Nir Nagid <sailor.nir <at> gmail.com>
> 
> Ah, yes, of course, I should've mentioned - Win7. I supposed there are workarounds, but it's somewhat of an
> overkill to mess with settings for my whole system to fix this one issue, isn't it? I thought they should consider
> making the filenames case-insensitively unique, or I'll just modify one of the filenames locally.

For the record: at some point in the past, Texinfo behaved as you
wish.  I added code to makeinfo to do that, with the-then maintainer's
encouragement.  Then the code to do that was removed when makeinfo was
rewritten in Perl.  So now you will have to edit the files to rewrite
manually some of the links, because making your filesystem
case-sensitive on Windows is definitely something I would only
recommend to someone who is looking for some "interesting" time to
have.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.