src/Doc/ROOT

--- a/src/Doc/ROOT	Sun Jan 24 15:02:56 2016 +0100
+++ b/src/Doc/ROOT	Sun Jan 24 15:25:39 2016 +0100
@@ -126,7 +126,7 @@
     "root.tex"
 
 session Implementation (doc) in "Implementation" = "HOL-Proofs" +
-  options [document_variants = "implementation", quick_and_dirty]
+  options [condition = ML_SYSTEM_POLYML, document_variants = "implementation", quick_and_dirty]
   theories
     Eq
     Integration