src/Doc/ROOT

--- a/src/Doc/ROOT	Mon May 04 19:55:30 2015 +0200
+++ b/src/Doc/ROOT	Mon May 04 20:05:50 2015 +0200
@@ -183,7 +183,9 @@
     "style.sty"
   document_files
     "auto-tools.png"
+    "bibtex-mode.png"
     "build"
+    "cite-completion.png"
     "isabelle-jedit.png"
     "output.png"
     "query.png"
@@ -191,6 +193,7 @@
     "popup2.png"
     "root.tex"
     "sidekick.png"
+    "sidekick-document.png"
     "sledgehammer.png"
     "theories.png"