Re: Skipping installation of .el.gz files

[Eli Zaretskii]

> From: Emanuel Berg <incal@dataswamp.org>
> Date: Mon, 23 Oct 2023 14:28:10 +0200
> 
> But those are the files used, it is better to do
> 
>   $ sudo find / -name \*.el.gz -exec gunzip -f -k {} \;
> 
> and have the on-line help and what have you access
> those files.

The help system can use the compressed files as well, so need to
uncompress them.