Merge pull request #548 from Octachron/empty_docstring

Empty documentation comment (**)

1 files changed, 16 insertions, 0 deletions

diff --git a/manual/manual/refman/exten.etex b/manual/manual/refman/exten.etex
index a7c8da2921..f454b4c738 100644
--- a/manual/manual/refman/exten.etex
+++ b/manual/manual/refman/exten.etex
@@ -2363,3 +2363,19 @@ will be converted to:
 type t =  T of string [@ocaml.doc " Attaches to T not t "]
 [@@ocaml.doc " Attaches to t "]
 \end{verbatim}
+
+In the absence of meaningful comment on the last constructor of
+a type, an empty comment~"(**)" can be used instead:
+
+\begin{verbatim}
+type t = T of string
+(**)
+(** Attaches to t *)
+\end{verbatim}
+
+will be converted directly to
+
+\begin{verbatim}
+type t =  T of string
+[@@ocaml.doc " Attaches to t "]
+\end{verbatim}