Subject: elisp manual filename conflict

From: Nir Nagid <[email-masked]>
Date: Fri, 24 Aug 2018 18:26:39 +0300

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 :(

Tnx,
Nir