From 80b5424a02cd6c34bebe6014248e7f8706b05666 Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Tue, 9 Sep 2014 09:57:20 -0400
Subject: [PATCH] Add spaces between doc links

---
 .../meta/pkg-index/official/static/index.js          | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

diff --git a/pkgs/plt-services/meta/pkg-index/official/static/index.js b/pkgs/plt-services/meta/pkg-index/official/static/index.js
index e2e76e3d1b..74b6ff7235 100644
--- a/pkgs/plt-services/meta/pkg-index/official/static/index.js
+++ b/pkgs/plt-services/meta/pkg-index/official/static/index.js
@@ -103,10 +103,12 @@ $( document ).ready(function() {
 
         // XXX show the doc[0] content?
         $('#pi_docs').html("").append( $.map( pkgi['build']['docs'], function ( doc, i ) {
+            var dl;
             if ( doc[2] ) {
-                return $('<a>', { href: build_host + doc[2] } ).html(doc[1]); }
+                dl = $('<a>', { href: build_host + doc[2] } ).html(doc[1]); }
             else {
-                return $('<del>').html(doc[1]); } } ) );
+                dl = $('<del>').html(doc[1]); }
+            return $('<span>').append(dl, " ") } ) );
 
         if ( pkgi['build']['failure-log'] ) {
                 $('#pi_build')
@@ -465,10 +467,12 @@ $( document ).ready(function() {
                 $('<td>').html("")
                     .append( jslink( value['name'], function () { open_info ( value ); }) ),
                 $('<td>').append( $.map( value['build']['docs'], function ( doc, i ) {
+                    var dl;
                     if ( doc[2] ) {
-                        return $('<a>', { href: build_host + doc[2] } ).html(doc[1]); }
+                        dl = $('<a>', { href: build_host + doc[2] } ).html(doc[1]); }
                     else {
-                        return $('<del>').html(doc[1]); } } ) ),
+                        dl = $('<del>').html(doc[1]); }
+                    return $('<span>').append(dl, " ") } ) ),
                 $('<td>').append( $.map( value['authors'], function ( author, i ) {
                     return addfilterlink ( author, "author:" + author, "possible" ); } ) ),
                 $('<td>').text( value['description'] ),