--- a/src/Doc/ROOT Wed Jun 18 21:23:10 2014 +0200
+++ b/src/Doc/ROOT Wed Jun 18 21:47:30 2014 +0200
@@ -188,6 +188,7 @@
"root.tex"
"sidekick.png"
"sledgehammer.png"
+ "theories.png"
session Sugar (doc) in "Sugar" = HOL +
options [document_variants = "sugar"]