From 27864968a18224c234085199aeaff4564d2733a2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 15 Feb 2006 22:13:47 +0000 Subject: [PATCH] pr 7894 svn: r2242 --- collects/help/servlets/release/notes.ss | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/help/servlets/release/notes.ss b/collects/help/servlets/release/notes.ss index 542b9a5688..136bcfe769 100644 --- a/collects/help/servlets/release/notes.ss +++ b/collects/help/servlets/release/notes.ss @@ -1,9 +1,9 @@ (module notes mzscheme - (require (lib "servlet.ss" "web-server")) - (require (lib "list.ss")) - - (require "../private/util.ss") - (require "../private/headelts.ss") + (require (lib "servlet.ss" "web-server") + (lib "list.ss") + (lib "uri-codec.ss" "net") + "../private/util.ss" + "../private/headelts.ss") (define (make-entry s) (let* ([label (car s)] @@ -12,7 +12,7 @@ [file (build-path (collection-path "mzlib") 'up 'up "notes" dir filename)]) (if (file-exists? file) `(LI (A ((HREF ,(format "/servlets/doc-anchor.ss?file=~a&name=~a&caption=~a" - (hexify-string (path->string file)) + (uri-encode (path->string file)) filename label))) ,label))