Re: Compressed info files

[Karl Berry]

    (info "(standards) Standard Targets") so that it looks like:

     The way to install Info files is to copy them---optionally
     gzipped---into '$(infodir)' with '$(INSTALL_DATA)' [...]

I proposed something along those lines to rms, FWIW.

thanks,
k