From e01cc2d019286a40fc992c2d8d66db5ca720f2ef Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 26 Apr 2024 06:09:16 +0100
Subject: [PATCH] Added 'fake' root.tex to satisfy AFP submission checks.

---
 Isabelle_DOF/ROOT              | 1 +
 Isabelle_DOF/document/root.tex | 0
 2 files changed, 1 insertion(+)
 create mode 100644 Isabelle_DOF/document/root.tex

diff --git a/Isabelle_DOF/ROOT b/Isabelle_DOF/ROOT
index 4bd258a..83db877 100644
--- a/Isabelle_DOF/ROOT
+++ b/Isabelle_DOF/ROOT
@@ -31,6 +31,7 @@ session "Isabelle_DOF" (AFP) = "Functional-Automata" +
     "root.bib"
     "dof_session.tex"
     "root.mst"
+    "root.tex"
     "preamble.tex"
     "lstisadof-manual.sty" 
     "figures/cicm2018-combined.png"
diff --git a/Isabelle_DOF/document/root.tex b/Isabelle_DOF/document/root.tex
new file mode 100644
index 0000000..e69de29