From 4fed3e2ded77218518255be81057c7cad203dab0 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Thu, 5 Mar 2015 14:12:46 +0100 Subject: reproducible: link wiki more visibly --- bin/reproducible_common.py | 1 + bin/reproducible_common.sh | 1 + 2 files changed, 2 insertions(+) diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py index 2e7230c9..13e55ae9 100755 --- a/bin/reproducible_common.py +++ b/bin/reproducible_common.py @@ -161,6 +161,7 @@ html_head_page = Template((tab*2).join(""" $suite_links
  • repositories overview
  • reproducible stats
  • +
  • wiki
  • """.splitlines(True))) diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index d592213d..583c934f 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -180,6 +180,7 @@ write_page_header() { fi done fi + write_page "
  • wiki
  • " done write_page "" write_page "" -- cgit v1.2.3-54-g00ecf