This seems to fix pr10980

2010-06-23 19:21:00 -06:00 · 2010-06-23 19:21:00 -06:00 · 0ed6e4a396
commit 0ed6e4a396
parent 27d8f5a039
1 changed files with 1 additions and 0 deletions
--- 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)))