Original bug ID: 5616
Reporter: mehdi
Status: closed (set by @xavierleroy on 2015-12-11T18:04:40Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 4.00.0+dev
Category: documentation
Monitored by: @glondu

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