Documentation: explain push.default option a bit more

diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh
index cd3a18eb7fa73b01e9d3a9489711292148f088e6..76d69a907b48a961906e0b85c59a75e9c0c8986d 100755 (executable)
--- a/Documentation/install-webdoc.sh
+++ b/Documentation/install-webdoc.sh
@@ -2,10 +2,17 @@
 
 T="$1"
 
-for h in *.html *.txt howto/*.txt howto/*.html RelNotes-*.txt *.css
+for h in \
+       *.txt *.html \
+       howto/*.txt howto/*.html \
+       technical/*.txt technical/*.html \
+       RelNotes/*.txt *.css
 do
-       if test -f "$T/$h" &&
-          diff -u -I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-' "$T/$h" "$h"
+       if test ! -f "$h"
+       then
+               : did not match
+       elif test -f "$T/$h" &&
+               $DIFF -u -I'^Last updated ' "$T/$h" "$h"
        then
                :; # up to date
        else
@@ -16,11 +23,14 @@ do
        fi
 done
 strip_leading=`echo "$T/" | sed -e 's|.|.|g'`
-for th in "$T"/*.html "$T"/*.txt "$T"/howto/*.txt "$T"/howto/*.html
+for th in \
+       "$T"/*.html "$T"/*.txt \
+       "$T"/howto/*.txt "$T"/howto/*.html \
+       "$T"/technical/*.txt "$T"/technical/*.html
 do
        h=`expr "$th" : "$strip_leading"'\(.*\)'`
        case "$h" in
-       index.html) continue ;;
+       RelNotes-*.txt | index.html) continue ;;
        esac
        test -f "$h" && continue
        echo >&2 "# rm -f $th"