diff options
| author | Laura Arjona Reina <larjona@debian.org> | 2021-10-01 18:18:53 +0200 |
|---|---|---|
| committer | Laura Arjona Reina <larjona@debian.org> | 2021-10-01 18:18:53 +0200 |
| commit | f8cf90b9471883cc059ed44b44edcab42aa15293 (patch) | |
| tree | 135baa4e8f1ff8a0f42d1969ab3d85764ecb37fe /Makefile.common | |
| parent | 61336b1ad0fb4507026941781f73c08bd9f3acb3 (diff) | |
add the extensions of webfonts so they are handled as OTHERFILES
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.common b/Makefile.common index 05d44ebbed5..d0bab02710e 100644 --- a/Makefile.common +++ b/Makefile.common @@ -64,7 +64,7 @@ HTMLDESTFILES = $(sort $(foreach i,$(SUBLANG),\ endif OTHERFILES := $(sort $(wildcard *.ps.gz *.eps *.pdf *.css)) -OTHERFILES += $(sort $(wildcard *.jpg *.jpeg *.gif *.png *.fig *.xcf *.xcf.gz *.ppm *.svg)) +OTHERFILES += $(sort $(wildcard *.jpg *.jpeg *.gif *.png *.fig *.xcf *.xcf.gz *.ppm *.svg *.eot *.ttf *.woff *.woff2)) OTHERDESTFILES := $(patsubst %,$(HTMLDIR)/%,$(OTHERFILES)) existing-SUBS := $(shell for dir in $(sort $(wildcard $(SUBS))) ''; do test -d $$dir && echo $$dir; done) |