diff options
Diffstat (limited to 'dist/mkfilelist')
| -rwxr-xr-x | dist/mkfilelist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/mkfilelist b/dist/mkfilelist index cd642527..4061e1cf 100755 --- a/dist/mkfilelist +++ b/dist/mkfilelist @@ -67,7 +67,7 @@ awk -vplan9'='$PLAN9 ' /^font\/(big5|gb|jis|naga10|shinonome)/ { cat("font-asian") } /^font\/LICENSE/ { cat("font-bh") } - /^font\/(lucida|lucidasans|lucm|pelm)\// { cat("font-bh") } + /^font\/(luc|lucsans|lucm|pelm)\// { cat("font-bh") } /^font\/(MAP|fixed|misc|sample|smiley)/ { cat("font-core") } /^font\/(palatino|times|special)/ { cat("font-proof") } /^font\// { cat("font-core") } |