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 <[email protected]> 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
