From 83c356ff21805c07a7ad1123bbb5e0832578db23 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 9 Jul 2009 05:23:18 +0000 Subject: [PATCH] fix width issue svn: r15413 --- collects/scribblings/scribble/preprocessor.scrbl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/scribblings/scribble/preprocessor.scrbl b/collects/scribblings/scribble/preprocessor.scrbl index 88b5ab2abb..54019c97b6 100644 --- a/collects/scribblings/scribble/preprocessor.scrbl +++ b/collects/scribblings/scribble/preprocessor.scrbl @@ -775,7 +775,8 @@ already beyond it). @list{var x = blah();} @thunk['blah]{ @ifdef["BLEHOS" - @list{@disable-prefix{#}include + @list{@disable-prefix{#}@; + include bleh();} @list{error("no bleh");}] }]