diff options
| author | Chris Lamb <lamby@debian.org> | 2015-08-31 11:21:16 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-08-31 13:15:00 +0200 |
| commit | 3b8231fc0591adeae410daedf9c021662d960d7b (patch) | |
| tree | 0dd81692e413fe232c8394d2953b79c5e3f15709 | |
| parent | 569bbc56058da2d0f61aeb819dd2c436d9fc1ebb (diff) | |
| download | jenkins.debian.net-3b8231fc0591adeae410daedf9c021662d960d7b.tar.xz | |
bin/reproducible_html_packages.py: Factor out common "Reproducible" prefix.
It looked kinda ugly.
Signed-off-by: Chris Lamb <lamby@debian.org>
| -rwxr-xr-x | bin/reproducible_html_packages.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/bin/reproducible_html_packages.py b/bin/reproducible_html_packages.py index a36d399e..35a56082 100755 --- a/bin/reproducible_html_packages.py +++ b/bin/reproducible_html_packages.py @@ -44,11 +44,12 @@ html_package_page = Template((tab*2).join((""" ${suites_links} + Reproducible Builds project links <ul class="reproducible-links"> <li> - <a href="%s">Reproducible Dashboard</a><br /> - <a href="https://wiki.debian.org/ReproducibleBuilds">Reproducible Wiki</a><br /> - <a href="https://reproducible-builds.org/howto">Reproducible HowTo</a> + <a href="%s">Dashboard</a><br /> + <a href="https://wiki.debian.org/ReproducibleBuilds">Wiki</a><br /> + <a href="https://reproducible.debian.net/howto">HowTo</a> </li> </ul> </header> |