Sure, let's consider this repository is also part of the PR experiment. Jacques-Pascal: that's a good remark, but to be fair the names comes from the original SVN repository for the ocaml manual, itself named "ocamldoc". I agree "ocaml-manual" would be a better name.
On Tue, Apr 8, 2014 at 2:37 PM, Jeremy Yallop <[email protected]> wrote: > On 30 January 2014 11:34, Gabriel Scherer <[email protected]> wrote: >> TL;DR: During the six next months, we will follow pull requests (PR) >> posted on the github mirror of the OCaml distribution, as an >> alternative to the mantis bugtracker. > > We now also have a GitHub mirror of the OCaml manual: > > https://github.com/ocaml/ocamldoc/ > > Could we please extend the experiment to include pull requests to the > manual as well as to the main source tree? There have been a few pull > requests recently that will need corresponding updates to the > documentation. It'd be useful to give source and documentation > changes the same visibility. _______________________________________________ Platform mailing list [email protected] http://lists.ocaml.org/listinfo/platform
