From 3d01021c8849f3834aea17974bb5fdc499aa9400 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Tue, 24 Feb 2015 07:58:40 +0100 Subject: [PATCH] Check for ugm font availability Fixes: #9429 --- lib/latexfonts | 1 + 1 file changed, 1 insertion(+) 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