ensure all files have same date in official archives

diff --git a/scripts/dev/makedist b/scripts/dev/makedist
index 515e4ba722870882d825457a96b65932071f1e16..1326929a3aa57b5a41ea0d94e05cad156e5c3943 100755 (executable)
--- a/scripts/dev/makedist
+++ b/scripts/dev/makedist
@@ -159,7 +159,8 @@ fi
 
 # Reset the modification and access times of all files to be packaged.
 echo "makedist: Resetting the modification and access times of package files."
-find . -exec touch -c {} \;
+touch -c NEWS
+find . -exec touch -r NEWS -c {} \;
 
 cd ..