# HG changeset patch
# User wenzelm
# Date 1621287496 -7200
# Node ID 9e1de6fb957964e8f8d870e6b781791edb79f35c
# Parent  52030acb19acf5480f9b2e1b4bb914c64333df49
proper options;

diff -r 52030acb19ac -r 9e1de6fb9579 src/Doc/ROOT
--- a/src/Doc/ROOT	Mon May 17 23:30:25 2021 +0200
+++ b/src/Doc/ROOT	Mon May 17 23:38:16 2021 +0200
@@ -122,8 +122,7 @@
     "style.sty"
 
 session How_to_Prove_it (no_doc) in "How_to_Prove_it" = HOL +
-  options [document_build = "build", document_variants = "how_to_prove_it",
-    show_question_marks = false]
+  options [document_variants = "how_to_prove_it", show_question_marks = false]
   theories
     How_to_Prove_it
   document_files