From 99eb8aa251328a42324455460ecc20aa0cbae046 Mon Sep 17 00:00:00 2001
From: Regis-Gianas
Date: Tue, 4 Nov 2014 12:08:35 +0100
Subject: lib/Xml_printer.pcdata_to_string: Publish.

---
 lib/xml_printer.mli | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/xml_printer.mli b/lib/xml_printer.mli
index a18aaed1bf..1c5fa72125 100644
--- a/lib/xml_printer.mli
+++ b/lib/xml_printer.mli
@@ -25,3 +25,5 @@ val to_string : xml -> string
  tabs and lines break between different nodes. *)
 val to_string_fmt : xml -> string
 
+(** Print PCDATA as a string by escaping XML entities. *)
+val pcdata_to_string : string -> string
-- 
cgit v1.2.3