diff options
Diffstat (limited to 'bin/reproducible_common.sh')
-rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 20fc4a43..0bec423b 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -225,6 +225,8 @@ write_page_header() { for i in $SUITES ; do write_page "<li><a href=\"/$i\">suite: $i</a></li>" done + elif [ "$TARGET" = "notify" ] ; then + write_page "<li><a href=\"$BASEURL/index_${TARGET}.html\" title=\"notify icon\">${SPOKEN_TARGET}</a></li>" else write_page "<li><a href=\"$BASEURL/index_${TARGET}.html\">${SPOKEN_TARGET}</a></li>" fi |