From f8be6eb9dbcdf9e1bbfafa1cf18e900d02337951 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 1 Dec 2007 01:47:32 +0000 Subject: [PATCH] doc corrections in quick and guide svn: r7880 original commit: 58684c1b0bbc7f06d310ece6252f32cdc8aa3d5f --- collects/scribble/manual.ss | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index 9e964ac2..e9e54c41 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -45,7 +45,10 @@ [(_ lang rest ...) (with-syntax ([modtag (datum->syntax #'here - `(unsyntax (schemefont ,(format "#lang ~a" (syntax-e #'lang)))) + `(unsyntax (make-element + #f + (list (schemefont ,(format "#lang ")) + (schemeidfont ,(format "~s" (syntax-e #'lang)))))) #'lang)]) #'(schemeblock modtag rest ...))]))