Enabled index generation.

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"

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.}
 

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"
+