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

From: "Jan D." <[email-masked]>
Date: Wed, 11 Apr 2012 14:11:36 +0200

Lars Magne Ingebrigtsen skrev 2012-04-11 13:36:
> Paul Eggert<[email-masked]>  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.