From 5cc3e117ed0264e35a46b6e3bb416b4b7f66b127 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 3 Jun 2018 01:01:16 +0200
Subject: [doc] Build ML API documentation artifact.

This is not optimal for we have to rebuild the `.cmi` as
`ocamldoc` cannot yet use the `_install_ci/` directory.

Overall the `mli` documentation is in a sorry state, however, I think
this is a first step in order to improve it.

Note that the `ml-doc` target seems broken in OCaml 4.07.0, needs
investigation.

cc: #7155
---
 clib/cList.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'clib')

diff --git a/clib/cList.mli b/clib/cList.mli
index ed468cb977..39d9a5e535 100644
--- a/clib/cList.mli
+++ b/clib/cList.mli
@@ -289,8 +289,8 @@ sig
 
   val share_tails : 'a list -> 'a list -> 'a list * 'a list * 'a list
   (** [share_tails l1 l2] returns [(l1',l2',l)] such that [l1] is
-      [l1'@l] and [l2] is [l2'@l] and [l] is maximal amongst all such
-      decompositions*)
+      [l1'\@l] and [l2] is [l2'\@l] and [l] is maximal amongst all such
+      decompositions *)
 
   (** {6 Association lists} *)
 
-- 
cgit v1.2.3