Reinstate specific rules to copy VERSION and NEWS into $(DEST).

This was no longer being done as Jason found the generic rule was
causing problems with GNU Make 4.0, and removed it. (I wonder how he
was getting the build to succeed, then?)

diff --git a/src/Makefile b/src/Makefile
index f2f10b9..166db58 100644 (file)
--- a/src/Makefile
+++ b/src/Makefile
@@ -79,6 +79,16 @@ $(DEST)/${PP2_FILE}:
        curl -sSf "${PP2_URL}" -o $@.tmp
        mv -f $@.tmp $@
 
+$(DEST)/NEWS: NEWS
+       rm -f $@
+       cp $? $@
+       chmod 444 $@
+
+$(DEST)/VERSION: VERSION
+       rm -f $@
+       cp $? $@
+       chmod 444 $@
+
 release: $(RELEASABLE)
        @if [ -f ${DEST}/releases/mkws-$(VERSION).js ]; then \
                echo "*** There is already a release $(VERSION)"; \