# HG changeset patch
# User wenzelm
# Date 1621417715 -7200
# Node ID 3e44f8c3f0599cddfc3bbe207a3c2fcaa3b5a5d1
# Parent  d701bd96e323e367d6cfb6233caf0e088011a310
default document_build (lualatex);

diff -r d701bd96e323 -r 3e44f8c3f059 src/Doc/Main/document/build
--- a/src/Doc/Main/document/build	Wed May 19 11:18:38 2021 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-
-FORMAT="$1"
-VARIANT="$2"
-
-isabelle latex -o "$FORMAT"
-isabelle latex -o "$FORMAT"
-
diff -r d701bd96e323 -r 3e44f8c3f059 src/Doc/ROOT
--- a/src/Doc/ROOT	Wed May 19 11:18:38 2021 +0200
+++ b/src/Doc/ROOT	Wed May 19 11:48:35 2021 +0200
@@ -326,13 +326,11 @@
     "root.tex"
 
 session Main (doc) in "Main" = HOL +
-  options [document_build = "build", document_variants = "main"]
+  options [document_variants = "main"]
   theories Main_Doc
   document_files (in "..")
-    "prepare_document"
     "pdfsetup.sty"
   document_files
-    "build"
     "root.tex"
 
 session Nitpick (doc) in "Nitpick" = Pure +