From 4dc8422d0b680bdff5b07ab8d536df54f17c2d55 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 6 Jan 2019 17:16:15 +0000
Subject: [PATCH] Added missing ontologies.tex.

---
 examples/math_exam/BAC2017/ROOT                 |  1 +
 .../math_exam/BAC2017/document/ontologies.tex   | 17 +++++++++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 examples/math_exam/BAC2017/document/ontologies.tex

diff --git a/examples/math_exam/BAC2017/ROOT b/examples/math_exam/BAC2017/ROOT
index 1107a9e..92e909c 100644
--- a/examples/math_exam/BAC2017/ROOT
+++ b/examples/math_exam/BAC2017/ROOT
@@ -9,4 +9,5 @@ session "BAC2017" = "Functional-Automata" +
   document_files
     "root.inf"
     "preamble.tex"
+    "ontologies.tex"
     "build"
diff --git a/examples/math_exam/BAC2017/document/ontologies.tex b/examples/math_exam/BAC2017/document/ontologies.tex
new file mode 100644
index 0000000..8e80a84
--- /dev/null
+++ b/examples/math_exam/BAC2017/document/ontologies.tex
@@ -0,0 +1,17 @@
+% This file was modified by the DOF LaTeX converter, version 0.0.3
+%% Copyright (C) 2018 The University of Sheffield
+%%               2018 The University of Paris-Sud
+%%
+%% License:
+%%   This program can be redistributed and/or modified under the terms
+%%   of the LaTeX Project Public License Distributed from CTAN
+%%   archives in directory macros/latex/base/lppl.txt; either
+%%   version 1 of the License, or any later version.
+%%   OR
+%%   The 2-clause BSD-style license.
+%%  
+%%   SPDX-License-Identifier: LPPL-1.0+ OR BSD-2-Clause
+
+%% This file is used for including the LaTeX ontology mappings. 
+\usepackage{DOF-core}
+\usepackage{DOF-mathex}