change git_header_html

diff --git a/index.cgi b/index.cgi
index ed6a910b737231e5edcf16376865ca89bd36a740..cb675585fe01ae1acc6257c5fb78ff0bad9d9277 100644 (file)
--- a/index.cgi
+++ b/index.cgi
@@ -3512,6 +3512,10 @@ EOF
                        print " / $action";
                }
                print "\n";
+       } else {
+               if (defined $action && $action != $home_link_str) {
+                       print " $action";
+               }
        }
        print "</div>\n";