summaryrefslogtreecommitdiff
path: root/manual/LICENSE-for-the-manual
blob: c104a053b35252b01e572e8ab77a9e0042a82538 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
The present documentation is copyright Institut National de Recherche
en Informatique et en Automatique (INRIA).

The OCaml documentation and user's manual may be reproduced and
distributed in whole or in part, subject to the following conditions:

- The copyright notice above and this permission notice must be
  preserved complete on all complete or partial copies.

- Any translation or derivative work of the OCaml documentation and
  user's manual must be approved by the authors in writing before
  distribution.

- If you distribute the OCaml documentation and user's manual in part,
  instructions for obtaining the complete version of this manual must
  be included, and a means for obtaining a complete version provided.

- Small portions may be reproduced as illustrations for reviews or
  quotes in other works without this permission notice if proper
  citation is given.