diff options
author | Elie Roux <elie.roux@telecom-bretagne.eu> | 2013-04-16 15:06:56 +0200 |
---|---|---|
committer | Elie Roux <elie.roux@telecom-bretagne.eu> | 2013-04-16 15:06:56 +0200 |
commit | dc4b739a33f3f5f4932945649a11e42fc1d6e957 (patch) | |
tree | 71a7133d57eeafabb7ca6dbd3e2f63c6e330106b /.gitignore | |
parent | 3771bb1479430718ef650f2194a34758ededc132 (diff) | |
download | luaotfload-dc4b739a33f3f5f4932945649a11e42fc1d6e957.tar.gz |
Make \font\foo=file:xxx more reliable
We use the same function (fonts.names.resolve) for both name and
file specification, as the database search is much better than a simple
filename resolving (it might contain more entries), it's also
easier to spot a problem.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions