From f8f2c3413255f30ec4eecc8570f6b4dbf08313f1 Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
Date: Mon, 1 Jun 2015 19:33:04 +0200
Subject: reproducible: add link to new index_notify page

---
 bin/reproducible_common.py | 1 +
 bin/reproducible_common.sh | 3 +++
 2 files changed, 4 insertions(+)

(limited to 'bin')

diff --git a/bin/reproducible_common.py b/bin/reproducible_common.py
index 29d77271..b5791807 100755
--- a/bin/reproducible_common.py
+++ b/bin/reproducible_common.py
@@ -214,6 +214,7 @@ def _gen_links(suite, arch):
         ('last_48h', '<li><a href="/{suite}/{arch}/index_last_48h.html">packages tested in the last 48h</a></li>'),
         ('all_abc', '<li><a href="/{suite}/{arch}/index_all_abc.html">all tested packages (sorted alphabetically)</a></li>'),
         ('dd-list', '<li><a href="/{suite}/index_dd-list.html">maintainers of unreproducible packages</a></li>'),
+        ('notify', '<li><a href="/index_notify.html">⚑</a></li>'),
         ('pkg_sets', '<li><a href="/{suite}/{arch}/index_pkg_sets.html">package sets stats</a></li>')
     ]
     html = ''
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh
index 811a2d3d..3abe9d63 100755
--- a/bin/reproducible_common.sh
+++ b/bin/reproducible_common.sh
@@ -227,6 +227,9 @@ write_page_header() {
 		else
 			write_page "<li><a href=\"$BASEURL/index_${TARGET}.html\">${SPOKEN_TARGET}</a></li>"
 		fi
+		if [ "$TARGET" = "dd-list" ] ; then
+			write_page "<li><a href=\"$BASEURL/index_notify.html\">⚑</a></li>"
+		fi
 	done
 	write_page "<li><a href=\"https://wiki.debian.org/ReproducibleBuilds\" target=\"_blank\">wiki</a></li>"
 	write_page "</ul>"
-- 
cgit v1.2.3-70-g09d2