mkws-filter.js \
mkws-widget.js \
mkws-widget-main.js \
- mkws-widget-termlists.js \
+ mkws-widget-facets.js \
mkws-widget-authname.js \
mkws-widget-categories.js \
mkws-widget-log.js \
curl -sSf "${PP2_URL}" -o $@.tmp
mv -f $@.tmp $@
-$(DEST)/%: %
- rm -f $@
- cp $? $@
- chmod 444 $@
-
release: $(RELEASABLE)
@if [ -f ${DEST}/releases/mkws-$(VERSION).js ]; then \
echo "*** There is already a release $(VERSION)"; \