From fff6b33b033a60e46278afbed07a97829c134a0c Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 19 May 2008 13:18:05 +0000 Subject: [PATCH] svn: r9888 original commit: b23eae36548d78173d78780abdb7267535cbf0d4 --- collects/scribble/manual.ss | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index 5eda2809..c644eb38 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -1787,10 +1787,7 @@ (provide elemtag elemref) (define (doc-prefix doc s) - (if doc - (list (module-path-prefix->string doc) - s) - s)) + (if doc (list (module-path-prefix->string doc) s) s)) (define (secref s #:underline? [u? #t] #:doc [doc #f]) (make-link-element (if u? #f "plainlink") null `(part ,(doc-prefix doc s))))