fix width issue

svn: r15413 original commit: 83c356ff21805c07a7ad1123bbb5e0832578db23
2009-07-09 05:23:18 +00:00 · 2009-07-09 05:23:18 +00:00 · e4bf3fb619
commit e4bf3fb619
parent 1d6e47b730
1 changed files with 2 additions and 1 deletions
--- 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 <bleh.h>
+                   @list{@disable-prefix{#}@;
+                           include <bleh.h>
                         bleh();}
                   @list{error("no bleh");}]
               }]