* Add variant of Remove_Directory_Separator for string

src/backends/ocarina-backends-utils.adb

@@ -227,6 +227,16 @@ package body Ocarina.Backends.Utils is
       return Name_Find;
    end Remove_Directory_Separator;
 
+   function Remove_Directory_Separator (Path : String) return String is
+   begin
+      if Path'Length >= 1 and then
+        Path (Path'Last) = Directory_Separator
+      then
+         return Path (Path'First .. Path'Last - 1);
+      end if;
+      return Path;
+   end Remove_Directory_Separator;
+
    --------------------
    -- Copy_Directory --
    --------------------

src/backends/ocarina-backends-utils.ads

@@ -64,6 +64,7 @@ package Ocarina.Backends.Utils is
    --  string.
 
    function Remove_Directory_Separator (Path : Name_Id) return Name_Id;
+   function Remove_Directory_Separator (Path : String) return String;
    --  If there is a directory separator at the end of the path, then
    --  remove it and return the result. Else, return the same string.