diff -r eb53f944c8cd -r f0f83ce0badd etc/options
--- a/etc/options	Sun Jun 24 15:57:48 2018 +0200
+++ b/etc/options	Sun Jun 24 22:13:23 2018 +0200
@@ -252,6 +252,8 @@
 
 section "Theory Export"
 
+option export_document : bool = false
+
 option export_theory : bool = false