scribble: fix history spacing

original commit: 94dbfba0f3f77c9603bcba4aee249823cc91eeed
2014-06-04 13:34:03 +01:00 · 2014-06-04 13:34:03 +01:00 · ed2aa7b04f
commit ed2aa7b04f
parent 78d5223eba
1 changed files with 3 additions and 2 deletions
--- a/pkgs/scribble-pkgs/scribble-lib/scribble/private/manual-history.rkt
+++ b/pkgs/scribble-pkgs/scribble-lib/scribble/private/manual-history.rkt
@ -48,8 +48,9 @@
                 [i (in-naturals)])
        (define vers (history-entry-vers e))
        (list (if (zero? i)
-                  ""
-                  " ")
+                  null
+                  (list null ; needed to avoid " " dropped as whitespace
+                        " "))
              (history-entry-what e)
              " in version "
              vers