From owner-freebsd-ports  Wed Jul 12  1:50:15 2000
Delivered-To: freebsd-ports@freebsd.org
Received: from freefall.freebsd.org (freefall.FreeBSD.ORG [204.216.27.21])
	by hub.freebsd.org (Postfix) with ESMTP id 33C4037BD87
	for <freebsd-ports@FreeBSD.org>; Wed, 12 Jul 2000 01:50:03 -0700 (PDT)
	(envelope-from gnats@FreeBSD.org)
Received: (from gnats@localhost)
	by freefall.freebsd.org (8.9.3/8.9.2) id BAA94084;
	Wed, 12 Jul 2000 01:50:03 -0700 (PDT)
	(envelope-from gnats@FreeBSD.org)
Date: Wed, 12 Jul 2000 01:50:03 -0700 (PDT)
Message-Id: <200007120850.BAA94084@freefall.freebsd.org>
To: freebsd-ports@FreeBSD.org
Cc: 
From: Mathias.Picker@virtual-earth.de
Subject: Re: ports/19854: [PATCH] inclusion of full mozart-oz documentation
Reply-To: Mathias.Picker@virtual-earth.de
Sender: owner-freebsd-ports@FreeBSD.ORG
Precedence: bulk
X-Loop: FreeBSD.org

The following reply was made to PR ports/19854; it has been noted by GNATS.

From: Mathias.Picker@virtual-earth.de
To: Jimmy Olgeni <olgeni@uli.it>
Cc: FreeBSD-gnats-submit@FreeBSD.ORG
Subject: Re: ports/19854: [PATCH] inclusion of full mozart-oz documentation
Date: Wed, 12 Jul 2000 10:39:20 +0200 (CEST)

 Well, I don't like it (That's why I didn't do it in the first place :).
 
 It takes up a lot of space for something which exactly duplicates the
 website. I never used the locally installed docs, I only load a few of
 the pdf's from mozart's site for printing.
 
 But since it seems there is some need for the docs, I would advocate a
 second port, like the gimp-manual-* ports, or helpful tips on how to
 handle the PLIST to handle installation of the documentation depending
 on an enviroment variable.
 
 Anyhow, I'm glad this port and mozart attracted some interest. (What
 are you using it for?)
 
 / Mathias
 
 On 11 Jul, Jimmy Olgeni wrote:
 > 
 >>Number:         19854
 >>Category:       ports
 >>Synopsis:       [PATCH] inclusion of full mozart-oz documentation
 >>Confidential:   no
 >>Severity:       non-critical
 >>Priority:       low
 >>Responsible:    freebsd-ports
 >>State:          open
 >>Quarter:        
 >>Keywords:       
 >>Date-Required:
 >>Class:          wish
 >>Submitter-Id:   current-users
 >>Arrival-Date:   Tue Jul 11 13:50:01 PDT 2000
 >>Closed-Date:
 >>Last-Modified:
 >>Originator:     Jimmy Olgeni
 >>Release:        FreeBSD 4.0-STABLE i386
 >>Organization:
 > Colby
 >>Environment:
 > 
 > N/A
 > 
 >>Description:
 > 
 > The current lang/mozart-oz port does not include the full documentation. 
 > 
 > Could it be included?
 > 
 >>How-To-Repeat:
 > 
 > N/A
 > 
 >>Fix:
 > 
 > The following patch makes the port include the full documentation.
 > 
 > It would be nice if it could decide to include/exclude the docs by looking up a
 > defined variable in the make command like (-Dxxx)... but how do you manage the
 > PLIST? Maybe a separate port is needed.
 > 
 > Anyway...
 > 
 > 
 > diff -rcN mozart/Makefile mozart.1/Makefile
 > [...]
 
 -- 
                             virtual earth
  Mathias Picker
  Geschäftsführer      Gesellschaft für Wissens re/prä sentation mbH
 
                             Mathias.Picker@virtual-earth.de 
 			    Fon +49 89  / 540 7425-1
                             Fax +49 89  / 540 7425-9
 
 
 


To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-ports" in the body of the message