From a5b7fcf79715842ccdefb6d6e207faeb6cbfa47c Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Thu, 19 Dec 2013 13:24:06 +0000 Subject: [PATCH] "make release" rule includes mkws.min.js --- tools/htdocs/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/htdocs/Makefile b/tools/htdocs/Makefile index 0276b27..1f56b29 100644 --- a/tools/htdocs/Makefile +++ b/tools/htdocs/Makefile @@ -88,6 +88,7 @@ release: mkws.js mkws-complete.js mkws-complete.min.js echo "*** There is already a release $(VERSION)"; \ else \ cp -p mkws.js releases/mkws-$(VERSION).js; \ + cp -p mkws.min.js releases/mkws-$(VERSION).min.js; \ cp -p mkws-complete.js releases/mkws-complete-$(VERSION).js; \ cp -p mkws-complete.min.js releases/mkws-complete-$(VERSION).min.js; \ echo "Made release $(VERSION)"; \ -- 1.7.10.4