projects
/
mkws-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0b5485d
)
"make release" rule includes mkws.min.js
author
Mike Taylor
<mike@indexdata.com>
Thu, 19 Dec 2013 13:24:06 +0000
(13:24 +0000)
committer
Mike Taylor
<mike@indexdata.com>
Thu, 19 Dec 2013 13:24:06 +0000
(13:24 +0000)
tools/htdocs/Makefile
patch
|
blob
|
history
diff --git
a/tools/htdocs/Makefile
b/tools/htdocs/Makefile
index
0276b27
..
1f56b29
100644
(file)
--- 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; \
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)"; \
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)"; \