--- a/src/Doc/ROOT Thu Jun 05 10:54:00 2014 +0200
+++ b/src/Doc/ROOT Fri Jun 06 12:10:33 2014 +0200
@@ -180,9 +180,9 @@
document_files
"auto-tools.png"
"build"
- "find.png"
"isabelle-jedit.png"
"output.png"
+ "query.png"
"popup1.png"
"popup2.png"
"root.tex"