src/Doc/ROOT

     "underscore.sty"
   document_files (in "../Isar_Ref/document")
     "style.sty"
   document_files
     "auto-tools.png"
-    "build"
+    "bibtex-mode.png"
+    "build"
+    "cite-completion.png"
     "isabelle-jedit.png"
     "output.png"
     "query.png"
     "popup1.png"
     "popup2.png"
     "root.tex"
     "sidekick.png"
+    "sidekick-document.png"
     "sledgehammer.png"
     "theories.png"
 
 session Sugar (doc) in "Sugar" = HOL +
   options [document_variants = "sugar"]