Change chars.in HTML encoding to be a Unicode codepoint (int), which is

later formatted in html.c.

1 files changed, 5 insertions, 1 deletions

diff --git a/TODO b/TODO
index 5d587515..73b487ad 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,9 @@
 ************************************************************************
+* Official mandoc TODO.  May not be quite up to date.
+* $Id$
+************************************************************************
+
+************************************************************************
 * missing features
 ************************************************************************
 
@@ -100,4 +105,3 @@ Several areas can be cleaned up to make mandoc even faster.  These are
 ************************************************************************
 * structural issues
 ************************************************************************
-