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) Are the various css files and the like always the same? If not, I'd have to specify their names to prevent conflicts between independent documents that happen to be in the sme directory. -- 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.
