src/Doc/ROOT

--- a/src/Doc/ROOT	Mon May 18 16:59:09 2015 +0200
+++ b/src/Doc/ROOT	Tue May 19 18:34:16 2015 +0200
@@ -209,6 +209,7 @@
     "build"
     "cite-completion.png"
     "isabelle-jedit.png"
+    "isabelle-jedit-hdpi.png"
     "output.png"
     "query.png"
     "popup1.png"