diff --git a/lib/latexfonts b/lib/latexfonts index 5fd5a2ed55..c0cc9ac027 100644 --- a/lib/latexfonts +++ b/lib/latexfonts @@ -18,6 +18,7 @@ # ScOption