src/Doc/ROOT
changeset 82261 ff385454adaa
parent 78657 0aa741c67086
--- a/src/Doc/ROOT	Tue Mar 11 23:27:54 2025 +0100
+++ b/src/Doc/ROOT	Wed Mar 12 00:12:42 2025 +0100
@@ -226,6 +226,8 @@
     "output.png"
     "popup1.png"
     "popup2.png"
+    "popup3.png"
+    "popup4.png"
     "query.png"
     "root.tex"
     "scope1.png"