From e8fe67991eaa4660273847419d6d886a8ccd94c2 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 25 May 2010 09:04:14 -0600 Subject: [PATCH] fix problem using both #:doc and #:tag-prefixes for secref Merge to v5.0 --- collects/scribble/base.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/scribble/base.rkt b/collects/scribble/base.rkt index 75b61be446..292d984034 100644 --- a/collects/scribble/base.rkt +++ b/collects/scribble/base.rkt @@ -226,7 +226,9 @@ (case-lambda [(doc s) (if doc - (list (module-path-prefix->string doc) s) + (if (list? s) + (cons (module-path-prefix->string doc) s) + (list (module-path-prefix->string doc) s)) s)] [(doc prefix s) (doc-prefix doc (if prefix