From d5a644f8f2e460beab09d06e955a38bdbb8d8d66 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 11 Nov 2013 09:50:24 -0700 Subject: [PATCH] make site: fix for pop-up help original commit: 5c17488d4ca4dd141261a97972dd93598450c571 --- pkgs/distro-build/download-page.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/distro-build/download-page.rkt b/pkgs/distro-build/download-page.rkt index 9e4df37..05e1922 100644 --- a/pkgs/distro-build/download-page.rkt +++ b/pkgs/distro-build/download-page.rkt @@ -126,7 +126,7 @@ (define (get-site-help last-col) (let ([h (hash-ref site-help last-col #f)]) (if h - (let* ([id "help"] + (let* ([id (~a "help" (gensym))] [toggle (let ([elem (~a "document.getElementById" "('" id "')")]) (~a elem ".style.display = ((" elem ".style.display == 'inline') ? 'none' : 'inline');" " return false;"))])