0005616: Please claritfy license and copyright holders of ocamlbuild/manual/*

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0005616

OCaml

OCaml documentation

public

2012-05-16 16:54

2012-05-24 18:27

Reporter

mehdi

Assigned To

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

4.00.0+dev

Summary

0005616: Please claritfy license and copyright holders of ocamlbuild/manual/*

Description

Hi,

It seems that files shipped under "ocamlbuild/manual/" do not have a
declared copyright owner or a license. Admittedly, manual.tex's has a
list of authors but they are not the copyright holders (it is not said
explicitly). So we cannot redistribute them or do anything useful with
them.

The LICENSE file says the following:

> and "the Compiler" refers to all files marked "Copyright INRIA" in the
> following directories and their sub-directories:
>
> asmcomp, boot, build, bytecomp, debugger, driver, lex, man,
> ocamlbuild, ocamldoc, parsing, testsuite, tools, toplevel, typing,
> utils, yacc

but affected files are not maked "Copyright INRIA" and thus not
covered by the LICENSE file.

Can you please clarify their license and copyright holders?

Besides, it would nice to also provide the ocamlbuild's manual
(generated .pdf and .html) in
http://caml.inria.fr/pub/distrib/ocaml-$ver/ [^] since it looks like a
canonical location for ocaml documentation.

Regards,

Tags

No tags attached.

Attached Files

Relationships

Notes
(0007453) xleroy (administrator) 2012-05-24 18:27	Starting with 4.00, ocamlbuild's manual is part of the OCaml reference manual and covered by the copyrights and licence for said manual. So, I "clarified" the status of the files you mention by just removing them from the source distribution of OCaml.

Issue History
Date Modified	Username	Field	Change
2012-05-16 16:54	mehdi	New Issue
2012-05-24 18:27	xleroy	Note Added: 0007453
2012-05-24 18:27	xleroy	Status	new => resolved
2012-05-24 18:27	xleroy	Resolution	open => fixed
2012-05-24 18:27	xleroy	Fixed in Version	=> 4.00.0+dev