"make clean" removes generated mkws.min.js

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

diff --git a/tools/htdocs/Makefile b/tools/htdocs/Makefile
index 0276b27..15e96b6 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)"; \
@@ -124,7 +126,7 @@ distclean: clean
        rm -f *.orig *.bak *.rej
 
 clean:
-       rm -f ${MKWS_JS} mkws-complete.min.js
+       rm -f mkws.min.js ${MKWS_JS} mkws-complete.min.js
        rm -f ${JQUERY_JSON_FILE} ${JQUERY_FILE} ${HANDLEBARS_FILE}
        rm -f $(DOCS)