unofficial mirror of bug-gnu-emacs@gnu.org 
 help / color / mirror / code / Atom feed
From: Glenn Morris <rgm@gnu.org>
To: Nir Nagid <sailor.nir@gmail.com>
Cc: 32519@debbugs.gnu.org
Subject: bug#32519: elisp manual filename conflict
Date: Fri, 24 Aug 2018 13:34:45 -0400	[thread overview]
Message-ID: <5p8t4vu0qy.fsf@fencepost.gnu.org> (raw)
In-Reply-To: <CALqNkdm6Nd6pfuskYyduv++AbnJqTKThNKD0uuLDndZHxONtPw@mail.gmail.com> (Nir Nagid's message of "Fri, 24 Aug 2018 18:26:39 +0300")

Nir Nagid wrote:

> Hi, just downloaded the "html-compressed" version of elisp manual. Trying
> to extract got a filename conflict - the "main" html index and the
> "document" index are both named "index" (in different case) and my zip app
> (7-zip) doesn't like it :(

I assume this is on MS Windows? Apparently, it can optionally do
case-sensitive directories since Windows 10 of April 2018, so maybe look
into that.

Apparently there is a makeinfo html output option controlled by
CASE_INSENSITIVE_FILENAMES that could be turned on to handle this, but
it sounds like it would make things worse for case sensitive systems (by
having two pages in the same file but separated by anchors). And I'm not
sure what version of texinfo added it (it doesn't seem to be in 4.13).





  reply	other threads:[~2018-08-24 17:34 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-08-24 15:26 bug#32519: elisp manual filename conflict Nir Nagid
2018-08-24 17:34 ` Glenn Morris [this message]
2018-08-25  7:23   ` Nir Nagid
2018-08-28  5:51     ` Eli Zaretskii
2018-08-28 15:34     ` Glenn Morris
2018-08-28 21:24     ` Richard Stallman

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/emacs/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=5p8t4vu0qy.fsf@fencepost.gnu.org \
    --to=rgm@gnu.org \
    --cc=32519@debbugs.gnu.org \
    --cc=sailor.nir@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).