bug#9789: [patch] adding the option --without-compress-el to configure

[Jan D.]

Lars Magne Ingebrigtsen skrev 2012-04-11 13:36:
> Paul Eggert<eggert@cs.ucla.edu>  writes:
>
> > I install without compression by using the shell command
> > "make GZIP_PROG= install".  That's pretty simple; do we
> > need a configure-time option too?
>
> That does seem like a better solution than adding yet another config
> option, so I'm closing this report.

But on the other hand you have to specify the configure option once, but 
the GZIP_PROG= many times.  Maybe this is only a problem for developers.

        Jan D.