From 6bcbb8a94c0ebd212c4790123f51fe95a760ea42 Mon Sep 17 00:00:00 2001
From: xvrabcov <xvrabcov@fi.muni.cz>
Date: Mon, 22 Mar 2021 15:52:39 +0100
Subject: [PATCH] Checking dict and abbr tables
---
example/mu/example.dtx | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/example/mu/example.dtx b/example/mu/example.dtx
index ddf8fa1..65c01ba 100644
--- a/example/mu/example.dtx
+++ b/example/mu/example.dtx
@@ -584,8 +584,8 @@
%% document. Titles for these tables can be changed by replacing the
%% titles `Abbreviations` and `Dictionary`, respectively.
-%% \printglossary[title={Abbreviations}, type=\acronymtype]
-%% \printglossary[title={Dictionary}]
+\printglossary[title={Abbreviations}, type=\acronymtype]
+\printglossary[title={Dictionary}]
\chapter*{Introduction}
\addcontentsline{toc}{chapter}{Introduction}
--
GitLab