diff --git a/tools/doc/html.js b/tools/doc/html.js
index 087f726a35..088eb4490d 100644
--- a/tools/doc/html.js
+++ b/tools/doc/html.js
@@ -122,9 +122,15 @@ function parseLists(input) {
function parseListItem(text) {
- text = text.replace(/\{([^\}]+)\}/, '$1');
+ var parts = text.split('`');
+ var i;
+
+ for (i = 0; i < parts.length; i += 2) {
+ parts[i] = parts[i].replace(/\{([^\}]+)\}/, '$1');
+ }
+
//XXX maybe put more stuff here?
- return text;
+ return parts.join('`');
}
function parseAPIHeader(text) {