Re: [racket-users] scribble output redirection

2016-05-19 Thread Hendrik Boom
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 wrote: > > > > > > It seems scribble likes to put its output where the document source is, > > > with a differe

Re: [racket-users] scribble output redirection

2016-05-19 Thread Hendrik Boom
On Fri, Apr 22, 2016 at 08:40:04PM -0400, Matthias Felleisen wrote: > > > On Apr 22, 2016, at 8:36 PM, Hendrik Boom 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 generat

Re: [racket-users] scribble output redirection

2016-04-23 Thread 'John Clements' via Racket Users
> On Apr 22, 2016, at 5:36 PM, Hendrik Boom 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 > dif

Re: [racket-users] scribble output redirection

2016-04-22 Thread Matthias Felleisen
> On Apr 22, 2016, at 8:36 PM, Hendrik Boom 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 > d

[racket-users] scribble output redirection

2016-04-22 Thread Hendrik Boom
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? (2) Ar