diff options
Diffstat (limited to 'bin/reproducible_common.sh')
| -rwxr-xr-x | bin/reproducible_common.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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>" |