--- a/src/Doc/ROOT Sun Sep 03 18:09:00 2023 +0200
+++ b/src/Doc/ROOT Sun Sep 10 19:31:35 2023 +0200
@@ -217,6 +217,7 @@
"auto-tools.png"
"bibtex-mode.png"
"cite-completion.png"
+ "document-panel.png"
"isabelle-jedit.png"
"markdown-document.png"
"ml-debugger.png"