summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_misc.mli
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_misc.mli')
-rw-r--r--ocamldoc/odoc_misc.mli5
1 files changed, 5 insertions, 0 deletions
diff --git a/ocamldoc/odoc_misc.mli b/ocamldoc/odoc_misc.mli
index d3037519b9..4fc83fe89b 100644
--- a/ocamldoc/odoc_misc.mli
+++ b/ocamldoc/odoc_misc.mli
@@ -13,6 +13,11 @@
(** Miscelaneous functions *)
+(** [no_blanks s] returns the given string without any blank
+ characters, i.e. '\n' '\r' ' ' '\t'.
+*)
+val no_blanks : string -> string
+
(** This function returns a file in the form of one string.*)
val input_file_as_string : string -> string