font: mkfontinfo: strip whitespace from support arrays

Reduces file size from 1_064_830 to 197_514 bytes.

diff --git a/tools/mkfontinfo b/tools/mkfontinfo
index 12c53a52ed1d3d94b3077fdb4e6de1c965932c60..dc8ddd602425290b9af0ad84ae9d0dc6e0c840ef 100755 (executable)
--- a/tools/mkfontinfo
+++ b/tools/mkfontinfo
@@ -124,7 +124,9 @@ $charlist{osdefault} = [qw( win95 win8 mac10 oss android )];
 
 say "# automatically generated by $0";
 say 'use utf8;';
-say '+'.pp(\%charlist);
+say '+', pp(\%charlist) =~ s{
+       ( \[ \s* \d [^]]* ) ,\s*  # arrays of numbers, excluding trailing comma
+}{ $1 =~ s/\s+//gr }msxgre;  # strip whitespace
 
 __END__