Merge branch 'master' of git://repo.or.cz/git-gui into maint

[git.git] / Documentation / install-webdoc.sh

diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh
index 60211a5058da658a92d99bd1d970b742dddb4e61..b3981936e302dafb33e967b3cc17a3cab5b5659e 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
 do
        if test -f "$T/$h" &&
           diff -u -I'Last updated [0-9][0-9]-[A-Z][a-z][a-z]-' "$T/$h" "$h"