From 954936dd180e34b79baca71e43d55a204dda9594 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 5 Nov 2011 15:05:13 -0400
Subject: Support the full set of XHTML character entities

---
 src/sources | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index ebc2ab13..862845d5 100644
--- a/src/sources
+++ b/src/sources
@@ -47,6 +47,11 @@ export.sml
 
 source.sml
 
+utf8.sig
+utf8.sml
+
+../xml/entities.sml
+
 urweb.grm
 urweb.lex
 
-- 
cgit v1.2.3