From bc815b0a1430be8bd6e1463b09b7dde6f37caf0b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 1 May 2008 19:51:52 +0000 Subject: [PATCH] finish DrScheme doc port svn: r9572 original commit: 58f1177258da185b47f063a3e1c14c193260fde0 --- collects/scribble/manual.ss | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/collects/scribble/manual.ss b/collects/scribble/manual.ss index fc1be7c1..dcb1e001 100644 --- a/collects/scribble/manual.ss +++ b/collects/scribble/manual.ss @@ -303,7 +303,13 @@ [s (element->string f)]) (index* (list (substring s 1 (sub1 (string-length s)))) (list f) f))) (define (exec . str) - (make-element 'tt str)) + (if (andmap string? str) + (make-element 'tt str) + (make-element #f (map (lambda (s) + (if (string? s) + (make-element 'tt (list s)) + s)) + str)))) (define (Flag . str) (make-element 'no-break (list (make-element 'tt (cons "-" (decode-content str)))))) (define (DFlag . str)