From owner-freebsd-ports-bugs@FreeBSD.ORG  Fri Apr  9 09:46:04 2004
Return-Path: <owner-freebsd-ports-bugs@FreeBSD.ORG>
Delivered-To: freebsd-ports-bugs@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP
	id 0605F16A4CE; Fri,  9 Apr 2004 09:46:04 -0700 (PDT)
Received: from mail.soaustin.net (mail.soaustin.net [207.200.4.66])
	by mx1.FreeBSD.org (Postfix) with ESMTP
	id D620343D39; Fri,  9 Apr 2004 09:46:03 -0700 (PDT)
	(envelope-from linimon@lonesome.com)
Received: by mail.soaustin.net (Postfix, from userid 502)
	id 9712B1477A; Fri,  9 Apr 2004 11:46:03 -0500 (CDT)
Date: Fri, 9 Apr 2004 11:46:03 -0500 (CDT)
From: Mark Linimon <linimon@lonesome.com>
X-X-Sender: linimon@pancho
To: Herve Quiroz <herve.quiroz@esil.univ-mrs.fr>
In-Reply-To: <200404091633.i39GXUKe099801@arabica.esil.univ-mrs.fr>
Message-ID: <Pine.LNX.4.44.0404091143590.23783-100000@pancho>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
cc: freebsd-ports-bugs@FreeBSD.org
cc: FreeBSD-gnats-submit@FreeBSD.org
Subject: Re: ports/65375: [PATCH] misc/latex-mk: update to 1.2 and
 SOURCEFORGE_EXTENDED
X-BeenThere: freebsd-ports-bugs@freebsd.org
X-Mailman-Version: 2.1.1
Precedence: list
List-Id: Ports bug reports <freebsd-ports-bugs.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>,
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-ports-bugs>
List-Post: <mailto:freebsd-ports-bugs@freebsd.org>
List-Help: <mailto:freebsd-ports-bugs-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/freebsd-ports-bugs>,
	<mailto:freebsd-ports-bugs-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 09 Apr 2004 16:46:04 -0000

> NOTE: How about moving the port in another category, such as print (with
> others latex-* ports) for instance?

There has been some discussion (possibly even an agreement in principle?)
that a 'latex' category is needed.  If so, this one should move over.

But until that decision is made, it's probably best just to leave it
where it is.