ensure all files have same date in official archives

remicollet · remicollet · commit 5c37715dfdce · 2020-06-25T14:59:10.000+02:00
diff --git 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 ..
 
