etc/options

--- a/etc/options	Tue Sep 01 17:51:20 2020 +0200
+++ b/etc/options	Tue Sep 01 18:03:17 2020 +0200
@@ -297,9 +297,6 @@
 
 section "Theory Export"
 
-option export_document : bool = false
-  -- "export document sources to Isabelle/Scala"
-
 option export_theory : bool = false
   -- "export theory content to Isabelle/Scala"