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)/%: %
+$(DEST)/NEWS: NEWS
+ rm -f $@
+ cp $? $@
+ chmod 444 $@
+
+$(DEST)/VERSION: VERSION
rm -f $@
cp $? $@
chmod 444 $@