[plt-scheme] scribble command line bug?
At Sun, 10 Feb 2008 19:53:57 -0500, "Geoffrey S. Knauth" wrote:
> This worked:
>
> scribble --dest /usr/local/plt/doc --htmls parser-tools.scrbl
> [Output to /usr/local/plt/doc/parser-tools/index.html]
>
> This did not:
>
> scribble --htmls parser-tools.scrbl --dest /usr/local/plt/doc
> default-load-handler: cannot open input file: "/Users/gknauth/test/plt/
> plt/collects/parser-tools/--dest" (No such file or directory; errno=2)
--htmls selects the mode, but doesn't take any arguments.
So when you provide "parser-tools.scrbl", that's the first source
document, and then "--dest" is considered the second source document,
and so on.
Matthew