# HG changeset patch
# User wenzelm
# Date 1621435292 -7200
# Node ID e78c8a1f03fb3342a45aeb5713015266256669b8
# Parent  8c460c09665eb0a83ca15354d8c49ecc59babcc8
prefer standard document_build=lualatex --- ISABELLE_TMP/examples has been removed already in 435fb018e8ee;

diff -r 8c460c09665e -r e78c8a1f03fb src/Doc/Codegen/document/build
--- a/src/Doc/Codegen/document/build	Wed May 19 16:35:10 2021 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,14 +0,0 @@
-#!/usr/bin/env bash
-
-set -e
-
-FORMAT="$1"
-VARIANT="$2"
-
-# ad-hoc patching of temporary path from sources
-perl -i -pe 's/\{\\isachardollar\}ISABELLE\{\\isacharunderscore\}TMP\{\\isacharslash\}examples/examples/g' *.tex
-
-"$ISABELLE_HOME/src/Doc/prepare_document" "$FORMAT"
-
-# clean up afterwards
-rm -rf "${ISABELLE_TMP}/examples"
diff -r 8c460c09665e -r e78c8a1f03fb src/Doc/ROOT
--- a/src/Doc/ROOT	Wed May 19 16:35:10 2021 +0200
+++ b/src/Doc/ROOT	Wed May 19 16:41:32 2021 +0200
@@ -16,8 +16,8 @@
     "style.sty"
 
 session Codegen (doc) in "Codegen" = HOL +
-  options [document_logo = "Isar", document_bibliography, document_build = "build",
-    document_variants = "codegen", print_mode = "no_brackets,iff"]
+  options [document_logo = "Isar", document_bibliography, document_variants = "codegen",
+    print_mode = "no_brackets,iff"]
   sessions
     "HOL-Library"
   theories [document = false]
@@ -32,14 +32,12 @@
     Adaptation
     Further
   document_files (in "..")
-    "prepare_document"
     "pdfsetup.sty"
     "iman.sty"
     "extra.sty"
     "isar.sty"
     "manual.bib"
   document_files
-    "build"
     "root.tex"
     "style.sty"