Date:	Mon, 1 Jan 2001 16:19:51 +0200 (IST)
From:	Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
X-Sender:	eliz AT is
To:	Tim Van Holder <tim DOT van DOT holder AT pandora DOT be>
cc:	djgpp-workers AT delorie DOT com
Subject:	RE: Two glitches for autoconf 2.49b
In-Reply-To:	<NEBBIOJNGMKPNOBKHCGHGEDGCAAA.tim.van.holder@pandora.be>
Message-ID:	<Pine.SUN.3.91.1010101160925.9706B-100000@is>
MIME-Version:	1.0
Reply-To:	djgpp-workers AT delorie DOT com
Errors-To:	nobody AT delorie DOT com
X-Mailing-List:	djgpp-workers AT delorie DOT com
X-Unsubscribes-To:	listserv AT delorie DOT com

On Mon, 1 Jan 2001, Tim Van Holder wrote:

> > If you call the files under man/cat1/ config.guess and config.sub, does 
> > "man config.guess" and "man config.sub" work with the DJGPP clone of 
> > `man' (v2apps/man13b.zip)?  If so, you don't need to rename.
> It doesn't. IIRC, man checks an extension for certain characters

Are you sure?  I specifically made `man' to work with _any_ extension, so 
that foo.txt and bar.hlp could be found.  If you tried with config.sub 
and it didn't work, I will have to look into that.

> which, annoyingly, causes it to think autoconf.bz2 is a man page

This actually confirms what I remembered: `man' doesn't care about the 
.bz2 extension, it just looks for `autoconf.*' in each directory along 
MANPATH.  (Actually, it looks for `autoconf.[!iz]*', to avoid finding 
`autoconf.igz' and `autoconf.zip'; I guess .bz2 files were not in such 
widespread use back when I wrote `man' ;-).

> while it is
> actually a bzip2-compressed info file - but it's easy enough to remove
> $DJDIR/info from the manpath).

...or compress autoconf.info with gzip to get autoconf.igz, which will be 
ignored by `man'.

- Raw text -