course: convert html entities to unicode characters

Signed-off-by: Alban Gruin <alban at pa1ch dot fr>

1 files changed, 4 insertions, 2 deletions

diff --git a/src/dune b/src/dune
index 1a1135a..c29403a 100644
--- a/src/dune
+++ b/src/dune
@@ -2,7 +2,9 @@
  (name ucs)
  (libraries astring
             calendar
-            lwt.unix
             cohttp-lwt-unix
             ezjsonm
-            ocplib-json-typed))
+            lwt.unix
+            ocplib-json-typed
+            re
+            stringext))