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