Date: Wed, 12 Jul 2000 01:50:03 -0700 (PDT) From: Mathias.Picker@virtual-earth.de To: freebsd-ports@FreeBSD.org Subject: Re: ports/19854: [PATCH] inclusion of full mozart-oz documentation Message-ID: <200007120850.BAA94084@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200007120850.BAA94084>