From f908c4954b0fc91222f95473f1f3eee52e2da8d8 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 2 Aug 2019 17:16:13 +0100
Subject: [PATCH] Enabled index generation.

---
 examples/technical_report/Isabelle_DOF-Manual/ROOT         | 1 +
 .../Isabelle_DOF-Manual/document/preamble.tex              | 7 +++++++
 .../technical_report/Isabelle_DOF-Manual/document/root.mst | 5 +++++
 3 files changed, 13 insertions(+)
 create mode 100644 examples/technical_report/Isabelle_DOF-Manual/document/root.mst

diff --git a/examples/technical_report/Isabelle_DOF-Manual/ROOT b/examples/technical_report/Isabelle_DOF-Manual/ROOT
index 054cc856..cb26cf2b 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/ROOT
+++ b/examples/technical_report/Isabelle_DOF-Manual/ROOT
@@ -5,6 +5,7 @@ session "Isabelle_DOF-Manual" = "Isabelle_DOF" +
   document_files
     "isadof.cfg"
     "root.bib"
+    "root.mst"
     "preamble.tex"
     "build"
     "lstisadof-manual.sty"
diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 397d48d4..3823f59e 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -12,6 +12,8 @@
 %%   SPDX-License-Identifier: LPPL-1.0+ OR BSD-2-Clause
 
 %% This is a placeholder for user-specific configuration and packages. 
+\usepackage{etex}
+\reserveinserts{28}
 
 \usepackage[scaled=0.88]{beramono}%
 \usepackage{upquote}%
@@ -26,6 +28,11 @@
 \usepackage[size=footnotesize]{caption}
 \usepackage{railsetup}
 
+\usepackage{index}
+\newcommand{\bindex}[1]{\index{#1|bfseries}}
+\makeindex
+\AtEndDocument{\printindex}
+
 \newcommand{\ie}{i.e.}
 \newcommand{\eg}{e.g.}
 
diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/root.mst b/examples/technical_report/Isabelle_DOF-Manual/document/root.mst
new file mode 100644
index 00000000..47899f7f
--- /dev/null
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/root.mst
@@ -0,0 +1,5 @@
+heading_prefix "{\\large\\textbf{"
+heading_suffix "}\\hfil}\\nopagebreak\n"
+headings_flag  1
+symhead_positive "Symbols"
+