Re: Re: License of manual user notes
| From: | Gabor Hojtsy | Date: | Thu, 26 Dec 2002 23:33:47 +0000 |
| Subject: | Re: Re: License of manual user notes | ||
| References: | 1 | Groups: | php.doc php.mirrors php.notes |
| Request: | Send a blank email to phpdoc+get-969350415@lists.php.net to get a copy of this message | ||
> I would tend to consider the notes to the manual as
> documentation. Because the intent is to allow people
> to expand/clarify on a documentation item (function,
> etc.).
>
> If the comment is good and the function has a very
> sparse documentation, it usually gets added into the
> body of the manual (and the note removed).
> Bottomline, I would consider the notes to the manual
> as having the same license as the manual itself, i.e.
> GPL now (might change to OPL or similar IIRC).
>
> Any other opinions?
Well, yes, as the notes are incorporated from time to
time to the manual, the best would probably be if they
would reside under the same license as the manual. It
would be nice to write up some text on the about-notes
page regarding the license ;)
Goba