Date: Sat, 13 Dec 1997 18:16:23 -0800 (PST) From: asami@cs.berkeley.edu (Satoshi Asami) To: jkh@freebsd.org Cc: ports@freebsd.org Subject: the infodist problem Message-ID: <199712140216.SAA14030@baloon.mimi.com>
next in thread | raw e-mail | index | archive | help
Jordan, 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. Many people are stumbling on this when they install ports that require info dir entries to be installed. I can't think of any other way to solve this. (We surely don't want a "info-dir" port just for this purpose!) Satoshi
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?199712140216.SAA14030>