git-mirror: add logo and favicon.png

diff --git a/git-mirror b/git-mirror
index 23a89407c03d69f3ee042acfa9fc5ae96858e8ad..ebde74b774e62de9abde66c4d7f6b7c3fa04c667 100755 (executable)
--- a/git-mirror
+++ b/git-mirror
@@ -28,6 +28,8 @@ run() {
         [ -d ${newdir} ] || mkdir ${newdir}
         cd ${newdir}
         stagit ${dir}
         [ -d ${newdir} ] || mkdir ${newdir}
         cd ${newdir}
         stagit ${dir}

+        cp "$1/logo.png" .
+        ln -s logo.png favicon.png

         find . -type f \( -name '*.html' -or -name '*.xml' \) | \
           while read i ; do
             minify ${i} > ${i}.tmp
         find . -type f \( -name '*.html' -or -name '*.xml' \) | \
           while read i ; do
             minify ${i} > ${i}.tmp