Bring back accidentally removed option

diff --git a/lib/latexfonts b/lib/latexfonts
index b4ecd1e55d507f25cd353a2dfe126a232a0b3b79..75dba78ae92dbaef2f3092b4de9d4fa58f3493b8 100644 (file)
--- a/lib/latexfonts
+++ b/lib/latexfonts
@@ -1027,6 +1027,7 @@ Font NotoMonoRegular
        ScaleOption     scaled=$$val
        Package         noto-mono
        PackageOption   regular
+       OsfOption       osf
        MoreOptions     1
 EndFont