From 9796f0f912761efb7ddcb755748d8b5635e56670 Mon Sep 17 00:00:00 2001 From: Nicolas Cannasse Date: Thu, 26 Jul 2012 14:40:38 +0000 Subject: [PATCH] escape & in documentation (fixed issue #1088) --- main.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/main.ml b/main.ml index 98e9753f1a5..5257bd70aea 100755 --- a/main.ml +++ b/main.ml @@ -85,6 +85,7 @@ let error ctx msg p = ctx.has_error <- true let htmlescape s = + let s = String.concat "&" (ExtString.String.nsplit s "&") in let s = String.concat "<" (ExtString.String.nsplit s "<") in let s = String.concat ">" (ExtString.String.nsplit s ">") in s