Shorten link names at the bottom of download pages.

2011-05-24 04:56:01 -04:00 · 2011-05-24 04:56:01 -04:00 · 28bdce5349
commit 28bdce5349
parent 571b1c3d12
1 changed files with 4 additions and 2 deletions
--- a/collects/meta/web/download/download-pages.rkt
+++ b/collects/meta/web/download/download-pages.rkt
@ -20,8 +20,10 @@
      @input[type: 'submit value: "Download" onclick: "do_jump();"]
      @|br hr|
      @div[align: "center"]{
-        @small{@all-version-pages @nbsp @bull @nbsp
-               @license @nbsp @bull @nbsp @pre:installers}}
+        @(let ([links (list all-version-pages
+                            @license{License}
+                            @pre:installers{Nightly installers})])
+           (small (add-between links @list{ @nbsp @bull @nbsp })))}
      @hr
      @div[id: "linux_explain"
           style: '("font-size: 75%; display: none; width: 28em;"