www.delorie.com/archives/browse.cgi   search  
Mail Archives: cygwin/2003/12/28/04:42:54

Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sources.redhat.com/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sources.redhat.com/ml/#faqs>
Sender: cygwin-owner AT cygwin DOT com
Mail-Followup-To: cygwin AT cygwin DOT com
Delivered-To: mailing list cygwin AT cygwin DOT com
Date: Sun, 28 Dec 2003 10:49:55 +0100
From: "Gerrit P. Haase" <gp AT familiehaase DOT de>
Reply-To: "Gerrit @ cygwin" <cygwin AT cygwin DOT com>
Organization: Esse keine toten Tiere
Message-ID: <050213963.20031228104955@familiehaase.de>
To: "David A. Cobb" <Superbiskit AT cox DOT net>
CC: Cygwin General Discussion <cygwin AT cygwin DOT com>
Subject: Re: Info.gz files
In-Reply-To: <3FE63619.1040204@cox.net>
References: <3FE63619 DOT 1040204 AT cox DOT net>
MIME-Version: 1.0
X-IsSubscribed: yes

Hallo David,

Am Montag, 22. Dezember 2003 um 01:08 schriebst du:

> I notice that some of the larger info files, notably gcc & related files 
> plus the Cygwin-ug files, are in /usr/share/info as xxx.info.gz files.

> Is info (supposed to be) able to handle these directly?  If so, is 
> special action appropriate to get them listed in the dir file -- on my 
> system they are simply not being seen.
> Of course, I can unzip them - but why use up the space if info can do it 
> dynamically.

I thought that info is able to handle this directly, therefore I
provide the info pages compressed.  If the info files are not seen,
then the script /etc/postinstall/update-info-dir.sh needs to be
updated. 


Gerrit
-- 
=^..^=


--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Problem reports:       http://cygwin.com/problems.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019