diff --git a/collects/scribble/decode.rkt b/collects/scribble/decode.rkt index ee64f3c9..6cb4a99c 100644 --- a/collects/scribble/decode.rkt +++ b/collects/scribble/decode.rkt @@ -295,6 +295,7 @@ (append-map (lambda (s) (cond [(string? s) (decode-string s)] [(void? s) null] + [(splice? s) (decode-content (splice-run s))] [else (list s)])) (skip-whitespace l)))