From f8cf90b9471883cc059ed44b44edcab42aa15293 Mon Sep 17 00:00:00 2001
From: Laura Arjona Reina <larjona@debian.org>
Date: Fri, 1 Oct 2021 18:18:53 +0200
Subject: add the extensions of webfonts so they are handled as OTHERFILES

---
 Makefile.common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.common')

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)
-- 
cgit v1.2.3