diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-11-29 08:45:21 +0100 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-11-29 08:45:25 +0100 |
| commit | 88a4f088cd6265684f83cbca12e39f367d4eea03 (patch) | |
| tree | bf8d39ca4fdcaca261bb03af92eee2df7b211c65 | |
| parent | 57ab1f1055cc9cc0bcbdf65b6b9130a710b4f046 (diff) | |
| download | ocaml-88a4f088cd6265684f83cbca12e39f367d4eea03.tar.gz | |
manual/ add LICENSE file extracted from manual/foreword.etex
| -rw-r--r-- | manual/LICENSE | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/manual/LICENSE b/manual/LICENSE new file mode 100644 index 0000000000..21075822f3 --- /dev/null +++ b/manual/LICENSE @@ -0,0 +1,9 @@ +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. + |