release depends on mkws.min.js

diff --git a/tools/htdocs/Makefile b/tools/htdocs/Makefile
index 389439c..7b4fbe2 100644 (file)
--- a/tools/htdocs/Makefile
+++ b/tools/htdocs/Makefile
@@ -83,7 +83,7 @@ ${JQUERY_JSON_FILE}:
 ${HANDLEBARS_FILE}:
        curl -sSf ${HANDLEBARS_URL} -o $@
 
-release: mkws.js mkws-complete.js mkws-complete.min.js
+release: mkws.js mkws-complete.js mkws.min.js mkws-complete.min.js
        @if [ -f releases/mkws-$(VERSION).js ]; then \
                echo "*** There is already a release $(VERSION)"; \
        else \