add space before "View Prior Versions"

2013-02-20 06:51:18 -07:00 · 2013-02-20 06:51:18 -07:00 · 5fcc96e41a
commit 5fcc96e41a
parent 33c6635550
1 changed files with 1 additions and 0 deletions
--- a/collects/scribblings/main/config.rkt
+++ b/collects/scribblings/main/config.rkt
@ -22,6 +22,7 @@
    (release "Release Notes"    plt  "release/index.html")
    ---
    (bugreport "Report a Bug"   #f ,(format "~a?v=~a" bug-url (version)))
+    ---
    (prior-docs "View Prior Versions" #f ,prior-docs-url)))

 ;; Section definitions for manuals that appear on the start page.