diff -r a78efec4cf04 -r c170ec8a4525 doc/tools/pyjsrest.py
--- a/doc/tools/pyjsrest.py	Mon Jan 27 14:02:21 2014 +0100
+++ b/doc/tools/pyjsrest.py	Fri Mar 28 14:59:33 2014 +0100
@@ -142,7 +142,6 @@
 FILES_TO_IGNORE = set([
     'jquery.js',
     'jquery.treeview.js',
-    'jquery.json.js',
     'jquery.tablesorter.js',
     'jquery.timePicker.js',
     'jquery.flot.js',