<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>On 2017-05-31 04:51, Fabian Greffrath wrote:
</p>
<blockquote type="cite"
cite="mid:5c223d8974152046cc53d10c22903e76.squirrel@webmail.greffrath.com">
<pre wrap="">
This should probably be /usr/share/fonts/woff*/* here to be prepared for
WOFF2 fonts.</pre>
</blockquote>
<br>
Would<br>
<br>
/usr/share/fonts/woff*<br>
<br>
work, and be simpler? From [1] it says "Note that globs
only apply to directories, not to individual fonts." yet one of the
examples is "*.pcf.gz" so I am confused. All of this is untested by
me.<br>
<br>
[1]
<a class="moz-txt-link-freetext" href="https://www.freedesktop.org/software/fontconfig/fontconfig-user.html">https://www.freedesktop.org/software/fontconfig/fontconfig-user.html</a><br>
<br>
Thanks, Bobby<br>
<br>
<div class="moz-signature">-- <br>
Bobby de Vos<br>
<em><a class="moz-txt-link-abbreviated" href="mailto:bobby_devos@sil.org">bobby_devos@sil.org</a></em><br>
</div>
</body>
</html>