finish DrScheme doc port

svn: r9572 original commit: 58f1177258da185b47f063a3e1c14c193260fde0
2008-05-01 19:51:52 +00:00 · 2008-05-01 19:51:52 +00:00 · bc815b0a14
commit bc815b0a14
parent e06d072534
1 changed files with 7 additions and 1 deletions
--- 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)