From 23f49985296a3594c2cf37fa08e0b3e882d5c9e4 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 29 Sep 2017 12:35:01 +0200
Subject: Add a function to surround filenames containing a space with quotes.

---
 lib/cUnix.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/cUnix.mli')

diff --git a/lib/cUnix.mli b/lib/cUnix.mli
index a394814041..f79f34016a 100644
--- a/lib/cUnix.mli
+++ b/lib/cUnix.mli
@@ -14,6 +14,9 @@ type load_path = physical_path list
 val physical_path_of_string : string -> physical_path
 val string_of_physical_path : physical_path -> string
 
+(** Escape what has to be escaped (e.g. surround with quotes if with spaces) *)
+val escaped_string_of_physical_path : physical_path -> string
+
 val canonical_path_name : string -> string
 
 (** remove all initial "./" in a path *)
-- 
cgit v1.2.3


From f36ea3ffb4ef01572db437392174f10650bee67b Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Fri, 29 Sep 2017 12:36:29 +0200
Subject: Unify style of comments in file CUnix.

---
 lib/cUnix.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/cUnix.mli')

diff --git a/lib/cUnix.mli b/lib/cUnix.mli
index f79f34016a..d08dc4c403 100644
--- a/lib/cUnix.mli
+++ b/lib/cUnix.mli
@@ -19,7 +19,7 @@ val escaped_string_of_physical_path : physical_path -> string
 
 val canonical_path_name : string -> string
 
-(** remove all initial "./" in a path *)
+(** Remove all initial "./" in a path *)
 val remove_path_dot : string -> string
 
 (** If a path [p] starts with the current directory $PWD then
@@ -64,6 +64,6 @@ val sys_command : string -> string list -> Unix.process_status
 
 val waitpid_non_intr : int -> Unix.process_status
 
-(** checks if two file names refer to the same (existing) file *)
+(** Check if two file names refer to the same (existing) file *)
 val same_file : string -> string -> bool
 
-- 
cgit v1.2.3