X-Git-Url: https://git.octo.it/?a=blobdiff_plain;f=Documentation%2Finstall-webdoc.sh;h=50638c78d5a4067320db4519131d224c55b3925a;hb=4c2e98d6ce47aa9fcc1598c68e630f371cd4f8cb;hp=1f534f1e77807276e8985b70aa7abebd8e93c334;hpb=10d781b9caa4f71495c7b34963bef137216f86a8;p=git.git diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh index 1f534f1e..50638c78 100755 --- a/Documentation/install-webdoc.sh +++ b/Documentation/install-webdoc.sh @@ -2,9 +2,9 @@ T="$1" -for h in *.html howto/*.txt +for h in *.html *.txt howto/*.txt howto/*.html do - diff -u "$T/$h" "$h" || { + diff -u -I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-' "$T/$h" "$h" || { echo >&2 "# install $h $T/$h" rm -f "$T/$h" mkdir -p `dirname "$T/$h"` @@ -12,7 +12,7 @@ do } done strip_leading=`echo "$T/" | sed -e 's|.|.|g'` -for th in "$T"/*.html "$T"/howto/*.txt +for th in "$T"/*.html "$T"/*.txt "$T"/howto/*.txt "$T"/howto/*.html do h=`expr "$th" : "$strip_leading"'\(.*\)'` case "$h" in