<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2014-03-12 19:47 GMT-03:00 Matthew Flatt <span dir="ltr"><<a href="mailto:mflatt@cs.utah.edu" target="_blank">mflatt@cs.utah.edu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
See<br>
<br>
 <a href="http://docs.racket-lang.org/scribble/manual.html" target="_blank">http://docs.racket-lang.org/scribble/manual.html</a><br>
<br>
Probably, you need to change "foo.scrbl" to start `#lang scribble/manual`,<br>
but using `manual-doc-style` is also an option.<br></blockquote><div><br></div><div>Thanks, that solved the issue. The document started with #lang scribble/doc.</div><div><br></div><div>-- <br></div></div>Ismael<br>
</div></div>