Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005616OCamlOCaml documentationpublic2012-05-16 16:542012-05-24 18:27
Reportermehdi 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.00.0+dev 
Summary0005616: Please claritfy license and copyright holders of ocamlbuild/manual/*
DescriptionHi,

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,
TagsNo 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


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker