From 2f10c9d25fc4ca48edce8248a799d1e6164e8a69 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 22 Apr 2020 15:17:28 +0200
Subject: [PATCH] [kernel] Fix indentation.
---
.../cmdline_parameters/parameter_sig.mli | 30 +++++++++----------
1 file changed, 14 insertions(+), 16 deletions(-)
diff --git a/src/kernel_services/cmdline_parameters/parameter_sig.mli b/src/kernel_services/cmdline_parameters/parameter_sig.mli
index 2dd81a0d804..9df2908bf46 100644
--- a/src/kernel_services/cmdline_parameters/parameter_sig.mli
+++ b/src/kernel_services/cmdline_parameters/parameter_sig.mli
@@ -308,27 +308,25 @@ module type Specific_dir = sig
?mode:[`Create_path | `Normalize_only | `Must_exist ] ->
string ->
Filepath.Normalized.t
- (**[get_dir ?mode p] returns a local-path [p], relative to the plugin
- <specific-dir> directory, to a sub-directory of the plugin <specific-dir>
- directory.
- @param mode determines how to handle the resulting path:
- + [Create_path] creates the resulting path, if does not exist.
- + [Normalize_only] just normalizes the resulting path.
- + [Must_exist] aborts if the resulting path does not exist.
- *)
+ (** [get_dir ?mode p] returns a local-path [p], relative to the plugin
+ <specific-dir> directory, to a sub-directory of the plugin <specific-dir>
+ directory.
+ @param mode determines how to handle the resulting path:
+ + [Create_path] creates the resulting path, if does not exist.
+ + [Normalize_only] just normalizes the resulting path.
+ + [Must_exist] aborts if the resulting path does not exist. *)
val get_file:
?mode:[`Create_path | `Normalize_only | `Must_exist ] ->
string ->
Filepath.Normalized.t
- (**[get_file ?mode p] returns a local-path [p], relative to the plugin
- <specific-dir> directory, to a file in the plugin <specific-dir>
- directory.
- @param mode determines how to handle the resulting path:
- + [Create_path] creates the dirname of resulting path, if does not exist.
- + [Normalize_only] just normalizes the resulting path.
- + [Must_exist] aborts if the resulting path does not exist.
- *)
+ (** [get_file ?mode p] returns a local-path [p], relative to the plugin
+ <specific-dir> directory, to a file in the plugin <specific-dir>
+ directory.
+ @param mode determines how to handle the resulting path:
+ + [Create_path] creates the dirname of resulting path, if does not exist.
+ + [Normalize_only] just normalizes the resulting path.
+ + [Must_exist] aborts if the resulting path does not exist. *)
end
(* ************************************************************************** *)
--
GitLab