diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index fd409100..1e5c20a5 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -165,7 +165,7 @@ write_page_header() { done for i in $SUITES ; do if [ "$i" != "$SUITE" ] ; then - write_page "<li><a href=\"$i\">suite: $i</a></li>" + write_page "<li><a href=\"/$i\">suite: $i</a></li>" fi done write_page "</ul>" |