X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=goaljobs.mli;h=072fcef55d2785dd5122a527c5dc3f163c3c9331;hb=7967057ada774e1b953de38a8d73f6009ce602ef;hp=07d717b09d84b7ccda5c91121e185cf5e793bae0;hpb=55c3a7d9b2bffa53b519be5a319565e311f8d7e6;p=goaljobs.git

diff --git a/goaljobs.mli b/goaljobs.mli
index 07d717b..072fcef 100644
--- a/goaljobs.mli
+++ b/goaljobs.mli
@@ -171,6 +171,11 @@ val url_contains_string : string -> string -> bool
 
       There is also a goal version of this function. *)
 
+val (//) : string -> string -> string
+  (** Concatenate two paths. *)
+
+val quote : string -> string
+  (** Quote the string to make it safe to pass directly to the shell. *)
 
 (** {2 Shell}