From be502f0d4f0581f39cb8993c922f68dc8df88250 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 7 Jan 2008 12:18:53 +0000 Subject: [PATCH] minor Scribbl{e,ings} tweaks svn: r8244 original commit: a4cd1cdbaeee2d54952faea0593ae5c24ab7cf7c --- collects/scribble/manual.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index ac14a85c..8b045418 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -465,7 +465,7 @@ (make-styled-paragraph (list (make-element "refcolumn" (list (make-element "refcontent" - c)))) + (decode-content c))))) "refpara")) ;; ----------------------------------------