diff --git a/UI/WebServerResources/GNUmakefile b/UI/WebServerResources/GNUmakefile index dcd195716..f50288821 100644 --- a/UI/WebServerResources/GNUmakefile +++ b/UI/WebServerResources/GNUmakefile @@ -2,7 +2,7 @@ include ../common.make -WEBSERVER_RESOURCE_FILES = $(shell ls *css *ico *js *gif *png *html *txt) +WEBSERVER_RESOURCE_FILES = $(shell ls *css *ico *js *gif *png *html *txt >/dev/null 2>&1) all ::