From 39a6097dc5360b5fe71f797f5ec6e320b2d980dc Mon Sep 17 00:00:00 2001
From: Jay McCarthy <jay@racket-lang.org>
Date: Wed, 23 Jun 2010 19:21:00 -0600
Subject: [PATCH] This seems to fix pr10980

original commit: 0ed6e4a3963ca7b2f5600ce8b436d1c343f84177
---
 collects/scribble/decode.rkt | 1 +
 1 file changed, 1 insertion(+)

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)))