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

diff --git a/Documentation/install-webdoc.sh b/Documentation/install-webdoc.sh
index b3981936e302dafb33e967b3cc17a3cab5b5659e..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 RelNotes-*.txt
+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"