From a2ec40b8fe40d08206324d148ff51ebb187e3cf7 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Thu, 19 Dec 2013 15:05:11 +0000 Subject: [PATCH] Make .min.js files by default. --- tools/htdocs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/htdocs/Makefile b/tools/htdocs/Makefile index ad18fba..389439c 100644 --- a/tools/htdocs/Makefile +++ b/tools/htdocs/Makefile @@ -32,7 +32,7 @@ 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 +**default**: ${MKWS_JS} mkws-js-min README.html whitepaper.html all: ${MKWS_JS} mkws-js-min $(DOCS) -- 1.7.10.4