Skip site navigation (1)Skip section navigation (2)
Date:      Sat, 13 Dec 1997 18:27:32 -0800
From:      "Jordan K. Hubbard" <jkh@time.cdrom.com>
To:        asami@cs.berkeley.edu (Satoshi Asami)
Cc:        jkh@freebsd.org, ports@freebsd.org
Subject:   Re: the infodist problem 
Message-ID:  <2137.882066452@time.cdrom.com>
In-Reply-To: Your message of "Sat, 13 Dec 1997 18:16:23 PST." <199712140216.SAA14030@baloon.mimi.com> 

next in thread | previous in thread | raw e-mail | index | archive | help
> Will it ruffle too many feathers if we take /usr/share/info/dir out of
> infodist and put it in bindist?  Or even better, put a skeleton
> version (no entries, just headers) in bindist.

That sounds like a reasonable compromise to me.

					Jordan



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?2137.882066452>