From owner-freebsd-ports Mon May 19 23:53:37 1997 Return-Path: Received: (from root@localhost) by hub.freebsd.org (8.8.5/8.8.5) id XAA18183 for ports-outgoing; Mon, 19 May 1997 23:53:37 -0700 (PDT) Received: from ghpc8.ihf.rwth-aachen.de (ghpc8.ihf.RWTH-Aachen.DE [134.130.90.8]) by hub.freebsd.org (8.8.5/8.8.5) with ESMTP id XAA18175; Mon, 19 May 1997 23:53:33 -0700 (PDT) Received: from ghpc6.ihf.rwth-aachen.de (ghpc6.ihf.rwth-aachen.de [134.130.90.6]) by ghpc8.ihf.rwth-aachen.de (8.8.5/8.8.5) with ESMTP id IAA27565; Tue, 20 May 1997 08:53:30 +0200 (CEST) Received: (from thomas@localhost) by ghpc6.ihf.rwth-aachen.de (8.8.5/8.8.5) id IAA08864; Tue, 20 May 1997 08:53:29 +0200 (CEST) To: asami@vader.cs.berkeley.edu (Satoshi Asami) Cc: jmz@FreeBSD.ORG, ports@FreeBSD.ORG Subject: Re: print/texinfo References: <199705200344.UAA06142@silvia.HIP.Berkeley.EDU> From: Thomas Gellekum Date: 20 May 1997 08:53:28 +0200 In-Reply-To: asami@vader.cs.berkeley.edu's message of Mon, 19 May 1997 20:44:09 -0700 (PDT) Message-ID: <8767wey6qf.fsf@ghpc6.ihf.rwth-aachen.de> Lines: 10 X-Mailer: Gnus v5.4.37/XEmacs 19.15 Sender: owner-ports@FreeBSD.ORG X-Loop: FreeBSD.org Precedence: bulk asami@vader.cs.berkeley.edu (Satoshi Asami) writes: > What is the status of texinfo port? We've got texinfo-3.9 in > /usr/src/contrib now. Looks like this is necessary for those who prefer to install TeX & friends in pieces instead of using teTeX. texinfo.fmt speeds up the tex startup for .texi-processing, but not much on modern machines. tg