Merge branch 'jn/merge-renormalize'

diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh
index 34d02a24188921ebac1b70f7cf0c6517a45e8fb1..37e67d1a14aa6f8ef5c8914054c03cc6f5cc762b 100755 (executable)
--- a/Documentation/install-webdoc.sh
+++ b/Documentation/install-webdoc.sh
@@ -12,7 +12,7 @@ do
        then
                : did not match
        elif test -f "$T/$h" &&
-          $DIFF -u -I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-' "$T/$h" "$h"
+               $DIFF -u -I'^Last updated ' "$T/$h" "$h"
        then
                :; # up to date
        else