--- 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',