On Tue, 2008-05-27 at 12:09 +0200, Bernd Jendrissek wrote:
> On Mon, May 26, 2008 at 9:29 PM, Ralf Wildenhues <[EMAIL PROTECTED]> wrote:
> > * Bernd Jendrissek wrote on Thu, May 08, 2008 at 09:41:36PM CEST:
> >> On Wed, May 7, 2008 at 1:07 PM, John Darrington <[EMAIL PROTECTED]> wrote:
> >> > How
"Bernd Jendrissek" <[EMAIL PROTECTED]> writes:
> On Mon, May 26, 2008 at 9:29 PM, Ralf Wildenhues <[EMAIL PROTECTED]> wrote:
>> Not all system's man programs cope with compressed manpages. I know
>> some (most? all?) GNU/Linux distributions install compressed manpages,
>> I assume it's rpm/deb/..
On Wed, May 7, 2008 at 1:07 PM, John Darrington <[EMAIL PROTECTED]> wrote:
> By default, the info_TEXINFOS primary causes info files to be created
> and installed uncompressed.
>
> How can I change it so that compressed versions are installed instead?
Same for man pages. Back when I kept a priv
By default, the info_TEXINFOS primary causes info files to be created
and installed uncompressed.
How can I change it so that compressed versions are installed instead?
J'
--
PGP Public key ID: 1024D/2DE827B3
fingerprint = 8797 A26D 0854 2EAB 0285 A290 8A67 719C 2DE8 27B3
See http://pgp.mit.e
