X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2Fhttp_getter_misc.mli;h=0551161b9ebe6038e79b222f12380c7b08187603;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=2047cf204b852736782672a1f8152b1a916c46ce;hpb=9e2208be9eaf40ff0d9c9c00d0a388bf930f7a27;p=helm.git

diff --git a/helm/http_getter/http_getter_misc.mli b/helm/http_getter/http_getter_misc.mli
index 2047cf204..0551161b9 100644
--- a/helm/http_getter/http_getter_misc.mli
+++ b/helm/http_getter/http_getter_misc.mli
@@ -73,3 +73,13 @@ val http_get: string -> string option
   remote resources fetched via HTTP GET requests *)
 val http_get_iter_buf: callback:(string -> unit) -> string -> unit
 
+  (** add a line to a file (specified by name) _after_ a given line (defaults to
+  last line). *)
+val add_line: fname:string -> ?position:int -> string -> unit
+  (** remove a line, if any, from a file specified by line number (0 based, i.e.
+  first line of file is line 0) *)
+val remove_line: fname:string -> int -> unit
+
+  (** true on blanks-only and #-commented lines, false otherwise *)
+val is_blank_line: string -> bool
+