diff options
| -rwxr-xr-x | bin/reproducible_common.py | 1 | ||||
| -rwxr-xr-x | bin/reproducible_common.sh | 1 |
2 files changed, 2 insertions, 0 deletions
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 <li><a href="/index_repo_stats.html">repositories overview</a></li> <li><a href="/reproducible.html">reproducible stats</a></li> + <li><a href="https://wiki.debian.org/ReproducibleBuilds">wiki</a></li> </ul> </header>""".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 "<li><a href=\"https://wiki.debian.org/ReproducibleBuilds\">wiki</a></li>" done write_page "</ul>" write_page "</header>" |