X-Git-Url: https://git.octo.it/?a=blobdiff_plain;f=Documentation%2Finstall-webdoc.sh;h=60211a5058da658a92d99bd1d970b742dddb4e61;hb=175fb6c0406e63a10791ab793cdac2acf185eab0;hp=e51a40eecdc6535e29893545f01b80e60dab2ea5;hpb=8d0991d7d7d7e68ef39fe8d302f43110ef2c65d1;p=git.git

diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh
index e51a40ee..60211a50 100755
--- a/Documentation/install-webdoc.sh
+++ b/Documentation/install-webdoc.sh
@@ -2,17 +2,21 @@
 
 T="$1"
 
-for h in *.html howto/*.txt howto/*.html
+for h in *.html *.txt howto/*.txt howto/*.html
 do
-	diff -u "$T/$h" "$h" || {
+	if test -f "$T/$h" &&
+	   diff -u -I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-' "$T/$h" "$h"
+	then
+		:; # up to date
+	else
 		echo >&2 "# install $h $T/$h"
 		rm -f "$T/$h"
 		mkdir -p `dirname "$T/$h"`
 		cp "$h" "$T/$h"
-	}
+	fi
 done
 strip_leading=`echo "$T/" | sed -e 's|.|.|g'`
-for th in "$T"/*.html "$T"/howto/*.txt "$T"/howto/*.html
+for th in "$T"/*.html "$T"/*.txt "$T"/howto/*.txt "$T"/howto/*.html
 do
 	h=`expr "$th" : "$strip_leading"'\(.*\)'`
 	case "$h" in