Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005616OCamldocumentationpublic2012-05-16 16:542015-12-11 19:04
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.00.0+dev 
Summary0005616: Please claritfy license and copyright holders of ocamlbuild/manual/*

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

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$ver/ [^] since it looks like a
canonical location for ocaml documentation.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
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
2015-12-11 19:04 xleroy Status resolved => closed
2017-02-23 16:35 doligez Category OCaml documentation => Documentation
2017-02-23 16:44 doligez Category Documentation => documentation

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker