From 5fbe9ff048b43b1737aa3c5b2b09ed745ec88f73 Mon Sep 17 00:00:00 2001
From: Damien Elmes <gpg@ankiweb.net>
Date: Thu, 19 Dec 2019 21:11:27 +1000
Subject: [PATCH] rebuild gui if any icons change

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

diff --git a/Makefile b/Makefile
index 5ac4506b1..742deedd3 100644
--- a/Makefile
+++ b/Makefile
@@ -80,7 +80,7 @@ JSDEPS := $(patsubst ts/src/%.ts, web/%.js, $(TSDEPS))
 
 BUILDDEPS := .build/ui .build/js
 
-.build/ui: $(REQS) $(shell find designer -name '*.ui')
+.build/ui: $(REQS) $(shell find designer -type f)
 	./tools/build_ui.sh
 	touch $@