Re: TUTORIAL.gz

[Lennart Borgman]

Stefan Monnier wrote:

> Because it's unlikely (how many people are going to disable
> auto-compression-mode, really?  how many of those will run in an
> environment where the TUTORIAL files are compressed?  how many of those
> will want to read the tutorial?), and even if it ever happens I don't think
> it'll be terrible.  Rather than force auto-compression-mode ON temporarily,
> if you really insist on handling this case, just detect it and output
> a warning like "can't read it 'cause you foolishly disabled
> auto-compression-mode".
>  
I think the warning is a good alternative. It would be very good if this 
also could handle the case when there is no software available to handle 
the compression (as might be the case on w32) in other situations (than 
accessing tutorials etc).