Re: Why info files need to be named info-*.gz?

To: debian-mentors@lists.debian.org
Subject: Re: Why info files need to be named info-*.gz?
From: Russ Allbery <rra@debian.org>
Date: Fri, 01 Dec 2006 15:14:58 -0800
Message-id: <[🔎] 877ixb8az1.fsf@windlord.stanford.edu>
In-reply-to: <[🔎] slrnen0o30.3df.joerg@alea.gnuu.de> (Jörg Sommer's message of "Fri, 1 Dec 2006 17:03:29 +0000 (UTC)")
References: <[🔎] slrnen0o30.3df.joerg@alea.gnuu.de>

Jörg Sommer <joerg@alea.gnuu.de> writes:

> the linitan warning info-document-has-wrong-extension refers to Policy
> 12.2, but I can not find anything about the name scheme in this section.
> Where is said, that a file in /usr/share/info must be named info*.gz?

Policy says that they should be compressed with gzip -9.  If they're
compressed but don't end in .gz, wouldn't lots of stuff break?

-- 
Russ Allbery (rra@debian.org)               <http://www.eyrie.org/~eagle/>

Reply to:

Follow-Ups:
- Re: Why info files need to be named info-*.gz?
  - From: Jörg Sommer <joerg@alea.gnuu.de>

References:
- Why info files need to be named info-*.gz?
  - From: Jörg Sommer <joerg@alea.gnuu.de>

Prev by Date: RFS: sa-exim -- Use spamAssassin at SMTP time with the Exim v4 MTA
Next by Date: Re: RFS: uebimiau
Previous by thread: Why info files need to be named info-*.gz?
Next by thread: Re: Why info files need to be named info-*.gz?
Index(es):
- Date
- Thread