reproducible: link wiki more visibly

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>"