diff --git a/lib/latexfonts b/lib/latexfonts index 446e83a563..b390efe27d 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -149,6 +149,7 @@ AltFont ugm GuiName "URW Garamond" Family rm SwitchDefault 1 + Requires ugm EndFont Font libertine