diff options
Diffstat (limited to 'deliverable/main.dmd')
| -rw-r--r-- | deliverable/main.dmd | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/deliverable/main.dmd b/deliverable/main.dmd new file mode 100644 index 0000000..5ace0e7 --- /dev/null +++ b/deliverable/main.dmd @@ -0,0 +1,9 @@ +\glossarysection[\glossarytoctitle]{\glossarytitle}\glossarypreamble +\begin{theglossary}\glossaryheader +\glsgroupheading{F}\relax \glsresetentrylist % +\glossentry{d:flup}{\glossaryentrynumbers{\relax + \setentrycounter[]{page}\glsnumberformat{4\delimR 6}}}\glsgroupskip +\glsgroupheading{S}\relax \glsresetentrylist % +\glossentry{d:simon}{\glossaryentrynumbers{\relax + \setentrycounter[]{page}\glsnumberformat{5}}}% +\end{theglossary}\glossarypostamble |