Merge branch 'feature/fix-doc-code' into 'master'

[doc] makes doc compiling

See merge request frama-c/frama-c!2205

src/kernel_services/ast_queries/logic_typing.mli

@@ -176,7 +176,7 @@ type typing_context = {
 
     @since Carbon-20101201
     @modify Silicon-20161101 change type of the function
-    @Frama-C+dev add [status] argument
+    @modify Frama-C+dev add [status] argument
 *)
 val register_behavior_extension:
   string -> bool ->

src/libraries/stdlib/extlib.mli

@@ -339,7 +339,7 @@ val mkdir : ?parents:bool -> string -> Unix.file_perm -> unit
       and then fail to create the children, e.g. if [perm] does not allow
       user execution of the created directory. This will leave the filesystem
       in a modified state before raising an exception.
-      @raise [Unix.Unix_error] if cannot create [name] or its parents.
+      @raise Unix.Unix_error if cannot create [name] or its parents.
       @since Frama-C+dev  *)
 
 val safe_at_exit : (unit -> unit) -> unit