From 846237b515e0cd6ce1796dde2137aef6eb918303 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sat, 26 Mar 2022 21:25:40 +0000
Subject: [PATCH] Support for Isabelle 2021-1.

---
 src/Tools/mkroot_DOF | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Tools/mkroot_DOF b/src/Tools/mkroot_DOF
index 8379184..493c3d1 100755
--- a/src/Tools/mkroot_DOF
+++ b/src/Tools/mkroot_DOF
@@ -134,6 +134,7 @@ echo "    \"preamble.tex\"" >> "$DIR"/ROOT
 echo "    \"build\"" >> "$DIR"/ROOT
 sed -i -e "s/root.tex/isadof.cfg/" "$DIR"/ROOT
 sed -i -e "s/HOL/Isabelle_DOF/" "$DIR"/ROOT
+sed -i -e "s/\"output\"\]/\"output\", document_build = dof\]/" "$DIR"/ROOT
 rm -f "$DIR"/document/root.tex
   
 # Creating isadof.cfg