gitweb has favicon

index 7eb8ff22f0..585082cd37 100755 --- a/Gitweb +++ b/Gitweb @@ -9,6 +9,7 @@ sed -e ' /^our .projectroot = /s|".*"|"/opt/packrat/playpen/public/in-place/git"| /^our .stylesheet = /s|".*"|"/gitweb.css"| /^our .logo = /s|".*"|"/git-logo.png"| +/^our .favicon = /s|".*"|"/git-favicon.png"| /^our .projects_list = /s|".*"|"/opt/packrat/playpen/public/in-place/git/index/index.aux"| ' gitweb.cgi >gitweb.cgi++ @@ -28,6 +29,14 @@ else differs="s$differs" fi +if test -f "$DEST/git-favicon.png" +then + cmp "$DEST/git-favicon.png" git-favicon.png >/dev/null || + differs="i$differs" +else + differs="i$differs" +fi + case "$differs" in '') echo Up to date. ;; @@ -64,3 +73,10 @@ case "$differs" in cp gitweb.css "$DEST/gitweb.css" ;; esac + +case "$differs" in +*i*) + rm -f "$DEST/git-favicon.png" + cp git-favicon.png "$DEST/git-favicon.png" + ;; +esac