On Sun, Feb 2, 2020 at 4:14 PM Norman Megill <[email protected]> wrote:
> The question is, are dates important? If they are, an alternate method is > for me to modify the script to test for any file changes, and if none don't > regenerate the .zip file but reuse the old one. > Probably yes. As this thread started because a filename was changed because of what was thought as some internal change. For to detect changes before regenerating, I suggest: find . -type f -print0 | xargs -0 sha1sum | sort | sha1sum André -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAL1T4B1MrhfFLyaXuQAiQvCX-pZfbRrJq%2BuGmzu1cAuwvZfsEQ%40mail.gmail.com.
