From b0a3be38f4c038bcc52d975b12340f22059de107 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 17 Apr 2009 01:46:19 +0000 Subject: [PATCH] fix margin-note typo svn: r14536 original commit: d49e36d983abfbcedaa0735933c1dc3001635c73 --- collects/scribblings/scribble/manual.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/scribble/manual.scrbl b/collects/scribblings/scribble/manual.scrbl index 145649a0..6057726e 100644 --- a/collects/scribblings/scribble/manual.scrbl +++ b/collects/scribblings/scribble/manual.scrbl @@ -1140,7 +1140,7 @@ centered table with the @scheme[pre-flow] parsed by @defproc[(commandline [pre-content any/c] ...) paragraph?]{Produces an inset command-line example (e.g., in typewriter font).} -@defproc[(margin-note [pre-content any/c] ...) paragraph?]{Produces +@defproc[(margin-note [pre-content any/c] ...) blockquote?]{Produces a @tech{blockquote} to be typeset in the margin instead of inlined.} @; ------------------------------------------------------------------------