From 6a7f98cd26ed39a7ebce9ff49e809b36a691e8eb Mon Sep 17 00:00:00 2001
From: Reiner Herrmann <reiner@reiner-h.de>
Date: Sat, 21 May 2016 21:21:21 +0200
Subject: reproducible debian: add more spacing also in other places

Signed-off-by: Holger Levsen <holger@layer-acht.org>
---
 bin/reproducible_common.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'bin')

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>&nbsp;&nbsp;"
 				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>&nbsp;&nbsp;"
 				CLASS=""
 			done
 			write_page "</li>"
-- 
cgit v1.2.3-54-g00ecf