diff options
| author | alainfrisch <alain@frisch.fr> | 2015-12-09 13:54:20 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2015-12-09 13:54:20 +0100 |
| commit | 1534fe8082f6edd68be3fb960606a0e2fa87a116 (patch) | |
| tree | d796e483a9602fa3294bee19d1e820aff5aa059a /CONTRIBUTING.md | |
| parent | cfeda89396c67656d61ee24509278e50cb6e36e6 (diff) | |
| download | ocaml-1534fe8082f6edd68be3fb960606a0e2fa87a116.tar.gz | |
Adapt contribution guidelines to the fact that the manual is now part of the main repository.
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 85d1af61f5..f247668666 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -142,10 +142,9 @@ better than adding redundant explanations.) Changes affecting the compiler libraries should be reflected in the documentation comments of the relevant `.mli` files. -For changes affecting the OCaml Reference Manual (in particular any -change in the surface language), you should also prepare a merge -request against the manual repository, -<https://github.com/ocaml/ocaml-manual>. +It is recommended to included changes to the OCaml Reference Manual +(in particular for any change in the surface language), which is now +part of the main repository (under `manual/`). Finally, changes in command-line options should be integrated in the manual, but also in the man pages present in the `man/` sub-directory |