Comment

[mkws-moved-to-github.git] / tools / htdocs / Makefile

diff --git a/tools/htdocs/Makefile b/tools/htdocs/Makefile
index 0276b27..f7c6029 100644 (file)
--- a/tools/htdocs/Makefile
+++ b/tools/htdocs/Makefile
@@ -32,6 +32,7 @@ HANDLEBARS_FILE := $(shell basename ${HANDLEBARS_URL})
 DOCS = README.html README.odt README.pdf \
        whitepaper.html whitepaper.odt whitepaper.pdf
 
+# Default rule when "make" is invoked without a target
 **default**: ${MKWS_JS} README.html whitepaper.html
 
 all: ${MKWS_JS} $(DOCS)
@@ -88,6 +89,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)"; \