diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2016-05-21 21:21:21 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-05-21 22:55:31 +0200 |
| commit | 6a7f98cd26ed39a7ebce9ff49e809b36a691e8eb (patch) | |
| tree | f01ecaefa2b6ba25101558f28e56d35bd871172b | |
| parent | 73f504b99c58acf52a2ad4c892eda71ea2e7ae1d (diff) | |
| download | jenkins.debian.net-6a7f98cd26ed39a7ebce9ff49e809b36a691e8eb.tar.xz | |
reproducible debian: add more spacing also in other places
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -rwxr-xr-x | bin/reproducible_common.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index a07a92a3..4e8a4716 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -254,7 +254,7 @@ write_page_header() { if [ "$1" = "suite_arch_stats" ] && [ "$i" = "$ARCH" ] ; then CLASS=" class=\"active\"" fi - write_page " <a href=\"/$SUITE/index_suite_${i}_stats.html\"$CLASS>$i</a>" + write_page " <a href=\"/$SUITE/index_suite_${i}_stats.html\"$CLASS>$i</a> " CLASS="" done write_page "</li>" @@ -264,7 +264,7 @@ write_page_header() { if [ "$1" = "suite_arch_stats" ] && [ "$i" = "$SUITE" ] ; then CLASS=" class=\"active\"" fi - write_page " <a href=\"/$i/index_suite_${ARCH}_stats.html\"$CLASS>$i</a>" + write_page " <a href=\"/$i/index_suite_${ARCH}_stats.html\"$CLASS>$i</a> " CLASS="" done write_page "</li>" |