On Thu, May 19, 2016 at 10:16:36PM -0400, Hendrik Boom wrote: > On Fri, Apr 22, 2016 at 08:40:04PM -0400, Matthias Felleisen wrote: > > > > > On Apr 22, 2016, at 8:36 PM, Hendrik Boom <hend...@topoi.pooq.com> wrote: > > > > > > It seems scribble likes to put its output where the document source is, > > > with a different file extension. > > > > > > I like to separate my source code from generated files. > > > > > > (1) How can I tell scribble to place the generated html into a > > > different directory? Is there a command line option for this? > > > > scribble —html —dest DestDir foobar.scrbl > > Do you mean > > scribble --html --dest destDir foobar.scrbl > ?
Well, it looks as if the message you send has the em-dashes, and my reply has doule hyphens. Soewhat understandable, because two minus signs is the acepted way of typing em-dashes in English. Presumably something in your messaging system takes that seriously. > > My email reader shows me em-dashes instead of double minuses. I wonder > if the message was sent wirh em-daashes or my reader just presents it > that way. > -- hendrik -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
