From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: To: 9fans@9fans.net Date: Thu, 25 Mar 2010 20:11:28 +0200 From: lucio@proxima.alt.za In-Reply-To: <972b97fa673cbb799c3df1e0a4524408@ladd.quanstro.net> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Subject: Re: [9fans] Man pages for add-ons Topicbox-Message-UUID: f2052794-ead5-11e9-9d60-3106f5b1d025 > i vote for putting the binaries in /$objtype/bin or /$objtype/bin/tex. > in the latter case, it would be tex/tex or tex/mf. Ideal most of the time, but I have this gut feeling that one ought to keep utilities distinct if they are not part of the distribution. At minimum they make it easier when rebuilding the system to remember what one has added. It's easy enough to bind /386/pub to /bin, but it would be nice if there was a firm convention; /386/bin is pretty firm. Judgement call, I guess. ++L