This seems to fix pr10980

original commit: 0ed6e4a3963ca7b2f5600ce8b436d1c343f84177
2010-06-23 19:21:00 -06:00 · 2010-06-23 19:21:00 -06:00 · 39a6097dc5
commit 39a6097dc5
parent c2b3152fca
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)))