diff options
author | Rasmus Andersson <rasmus@notion.se> | 2020-08-22 02:05:42 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2020-08-22 02:05:42 +0300 |
commit | 15e2d60523565b94aafdf31f3e61ae7ab8f7de3e (patch) | |
tree | 227fbef50aaa2713609523cddc9dc58c11807eda /Makefile | |
parent | 4eee1377a7c68be4bb6dd6246c170508564de74e (diff) | |
download | inter-15e2d60523565b94aafdf31f3e61ae7ab8f7de3e.tar.xz |
tooling: adds subset program to be run for docs_fonts in Makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -330,6 +330,7 @@ docs_fonts: docs_fonts_text docs_fonts_display docs_fonts_pre: rm -rf docs/font-files mkdir docs/font-files + python misc/tools/subset.py docs_fonts_text: docs_fonts_pre cp -a $(FONTDIR)/const/*.woff \ |