diff --git a/Makefile b/Makefile index 6bddb9ff8..3b2cffa5c 100644 --- a/Makefile +++ b/Makefile @@ -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 \