diff options
| author | Colin <colin@uninsane.org> | 2023-09-16 12:24:24 +0000 |
|---|---|---|
| committer | Colin <colin@uninsane.org> | 2023-09-16 12:36:33 +0000 |
| commit | 54931faf9a276818bc4a9d88562b0010da534577 (patch) | |
| tree | fa3f8056acea2f6e013e9e42d82bf3f3dbebb065 /pkgs/development/python-modules/rangehttpserver | |
| parent | d7b87590ea3a17476dd28650706d527b335511c3 (diff) | |
font-manager: allow building without webkit
webkit is only beneficial if browsing non-local fonts and building
without it greatly reduces closure size (measurements from
`nix path-info -S` on x86_64):
- `withWebkit=true`: 1203033312
- `withWebkit=false`: 372203760
upstream calls this feature "Google Font integration" here:
- <https://github.com/FontManager/font-manager#building-from-source>
but it's controlled via the "webkit" meson flag:
- <https://github.com/FontManager/font-manager/blob/master/meson.build#L29>
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions