fix docs when example code has odd characters in the title

scripts/build_docs.py

@@ -25,6 +25,7 @@
 import common
 import urllib2
 import markdown
+import htmlentitydefs
 
 # Scans files for comments of the form /*JSON......*/ and then writes out an HTML file describing
 # all the functions
@@ -141,6 +142,14 @@ def get_link(jsondata):
   s=s+jsondata["name"]
   return s
 
+def html_escape(text):
+  escaped_chars = ""
+  for c in text:
+    if (ord(c) < 32) or (ord(c) > 126):
+      c = '&{};'.format(htmlentitydefs.codepoint2name[ord(c)])
+    escaped_chars = escaped_chars + c
+  return escaped_chars
+
 # If MDN doesn't 404 then include a link to it
 def insert_mdn_link(jsondata):
   if "class" in jsondata and "name" in jsondata:
@@ -344,7 +353,7 @@ def insert_mdn_link(jsondata):
     html("  <p class=\"examples\">This function is used in the following places in Espruino's documentation</p>")
     html("  <ul class=\"examples\">")
     for link in uses:
-      html('    <li><a href="'+link["url"]+'">'+link["title"]+'</a></li>')
+      html('    <li><a href="'+link["url"]+'">'+html_escape(link["title"])+'</a></li>')
     html("  </ul>")
 
 html(" </body>")