--- a/thys/ROOT	Sun Oct 10 00:56:47 2021 +0100
+++ b/thys/ROOT	Sun Oct 10 01:40:30 2021 +0100
@@ -2,7 +2,7 @@
 
 
 session Journal in Journal = "HOL" +
-  options [document_output = "..", document_variants="journal"]
+  options [ document_output = "..", document_variants="journal", document = pdf]
   sessions
     "HOL-Library"
   directories
@@ -20,4 +20,4 @@
      "Paper"
   document_files
      "root.bib"
-     "root.tex" 
\ No newline at end of file
+     "root.tex"
\ No newline at end of file