From 5fcc96e41ab6e8a7339cfd179671bcad0483ec83 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 20 Feb 2013 06:51:18 -0700 Subject: [PATCH] add space before "View Prior Versions" --- collects/scribblings/main/config.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/scribblings/main/config.rkt b/collects/scribblings/main/config.rkt index 0889a0853e..8ec3d97299 100644 --- 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.