Merge branch 'js/remote-show-push'

diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh
index 60211a5058da658a92d99bd1d970b742dddb4e61..cd3a18eb7fa73b01e9d3a9489711292148f088e6 100755 (executable)
--- a/Documentation/install-webdoc.sh
+++ b/Documentation/install-webdoc.sh
@@ -2,7 +2,7 @@
 
 T="$1"
 
-for h in *.html *.txt howto/*.txt howto/*.html
+for h in *.html *.txt howto/*.txt howto/*.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"