diff options
| author | Mike Vink <mike1994vink@gmail.com> | 2021-05-02 17:33:26 +0200 |
|---|---|---|
| committer | Mike Vink <mike1994vink@gmail.com> | 2021-05-02 17:33:26 +0200 |
| commit | bf1adece8aeb48e136085233d2f5ff2f9600eaf5 (patch) | |
| tree | 6a46b0c7e7fbea6a85c0e44714e0076251e82cac /deliverable/main.dmd | |
| parent | de4565fe9290ec1f1031eed6f7d067794df53166 (diff) | |
update
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 |