diff --git a/thys/Isabelle_C/C11-FrontEnd/document/DOF-COL.sty b/thys/Isabelle_C/C11-FrontEnd/document/DOF-COL.sty
deleted file mode 120000
--- a/thys/Isabelle_C/C11-FrontEnd/document/DOF-COL.sty
+++ /dev/null
@@ -1,1 +0,0 @@
-generated/DOF-COL.sty
\ No newline at end of file
diff --git a/thys/Isabelle_C/C11-FrontEnd/document/DOF-core.sty b/thys/Isabelle_C/C11-FrontEnd/document/DOF-core.sty
deleted file mode 120000
--- a/thys/Isabelle_C/C11-FrontEnd/document/DOF-core.sty
+++ /dev/null
@@ -1,1 +0,0 @@
-generated/DOF-core.sty
\ No newline at end of file
diff --git a/thys/Isabelle_C/C11-FrontEnd/document/DOF-scholarly_paper.sty b/thys/Isabelle_C/C11-FrontEnd/document/DOF-scholarly_paper.sty
deleted file mode 120000
--- a/thys/Isabelle_C/C11-FrontEnd/document/DOF-scholarly_paper.sty
+++ /dev/null
@@ -1,1 +0,0 @@
-generated/DOF-scholarly_paper.sty
\ No newline at end of file
diff --git a/thys/Isabelle_C/C11-FrontEnd/document/DOF-technical_report.sty b/thys/Isabelle_C/C11-FrontEnd/document/DOF-technical_report.sty
deleted file mode 120000
--- a/thys/Isabelle_C/C11-FrontEnd/document/DOF-technical_report.sty
+++ /dev/null
@@ -1,1 +0,0 @@
-generated/DOF-technical_report.sty
\ No newline at end of file
diff --git a/thys/Isabelle_C/C11-FrontEnd/document/figures b/thys/Isabelle_C/C11-FrontEnd/document/figures
deleted file mode 120000
--- a/thys/Isabelle_C/C11-FrontEnd/document/figures
+++ /dev/null
@@ -1,1 +0,0 @@
-generated/figures
\ No newline at end of file
diff --git a/thys/Isabelle_C/C11-FrontEnd/document/ontologies.tex b/thys/Isabelle_C/C11-FrontEnd/document/ontologies.tex
deleted file mode 120000
--- a/thys/Isabelle_C/C11-FrontEnd/document/ontologies.tex
+++ /dev/null
@@ -1,1 +0,0 @@
-generated/ontologies.tex
\ No newline at end of file
diff --git a/thys/Isabelle_C/C11-FrontEnd/document/paper.tex b/thys/Isabelle_C/C11-FrontEnd/document/paper.tex
deleted file mode 120000
--- a/thys/Isabelle_C/C11-FrontEnd/document/paper.tex
+++ /dev/null
@@ -1,1 +0,0 @@
-generated/paper.tex
\ No newline at end of file
diff --git a/thys/Isabelle_C/ROOT b/thys/Isabelle_C/ROOT
--- a/thys/Isabelle_C/ROOT
+++ b/thys/Isabelle_C/ROOT
@@ -1,83 +1,84 @@
 (******************************************************************************
  * Isabelle/C
  *
  * Copyright (c) 2018-2019 Université Paris-Saclay, Univ. Paris-Sud, France
  *
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  *       notice, this list of conditions and the following disclaimer.
  *
  *     * Redistributions in binary form must reproduce the above
  *       copyright notice, this list of conditions and the following
  *       disclaimer in the documentation and/or other materials provided
  *       with the distribution.
  *
  *     * Neither the name of the copyright holders nor the names of its
  *       contributors may be used to endorse or promote products derived
  *       from this software without specific prior written permission.
  *
  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  ******************************************************************************)
 
 chapter AFP
 
 session Isabelle_C (AFP) = HOL +
   options [timeout = 600]
   sessions
     "HOL-ex"
     "Isar_Ref"
   directories
     "C11-FrontEnd"
     "C11-FrontEnd/src"
     "C11-FrontEnd/examples"
   theories [document = false]
     "HOL-ex.Cartouche_Examples" (* LaTeX error in Isabelle2019 *)
   theories (* a standard test suite *)
     "C11-FrontEnd/examples/C0"
     "C11-FrontEnd/examples/C1"
     "C11-FrontEnd/examples/C2"
     "C11-FrontEnd/examples/C_paper"
   theories (* document *)
     "C11-FrontEnd/C_Appendices"
     "./README"
-  document_files (in "C11-FrontEnd/document/")
+  document_files (in "C11-FrontEnd/document/generated")
     "DOF-COL.sty"
     "DOF-core.sty"
     "DOF-scholarly_paper.sty"
     "DOF-technical_report.sty"
     "figures/A-C-Source10.png"
     "figures/A-C-Source2.png"
     "figures/A-C-Source3.png"
     "figures/A-C-Source5.png"
     "figures/A-C-Source6.png"
     "figures/A-C-Source7.png"
     "figures/A-C-Source80.png"
     "figures/A-C-Source8.png"
     "figures/A-C-Source9.png"
     "figures/A-C-Source.png"
     "figures/C11-Package-Architecture.pdf"
     "figures/C-export-example.png"
     "figures/document-model1.pdf"
     "figures/document-model2.pdf"
     "figures/markup-demo.png"
-    "lstisadof.sty"
     "ontologies.tex"
     "paper.tex"
+  document_files (in "C11-FrontEnd/document")
+    "lstisadof.sty"
     "preamble.tex"
     "root.bib"
     "root.tex"