Fix hyphenation of MiniZinc and FlatZinc in PDF documentation. Fixes #…

…852.
MiniZinc · Nov 7, 2024 · 76ab70a · 76ab70a
1 parent a61b555
commit 76ab70a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/utils/mznstyle.sty b/docs/utils/mznstyle.sty
@@ -100,3 +100,7 @@
 
 \def\theliteralblock{\arabic{part}.\arabic{chapter}.\arabic{literalblock}}
 \def\thefigure{\arabic{part}.\arabic{chapter}.\arabic{figure}}
+
+\RequirePackage{hyphenat}
+\hyphenation{MiniZinc}
+\hyphenation{FlatZinc}