| From: Geoffrey S. Knauth (geoff at knauth.org) Date: Sun Feb 10 19:53:57 EST 2008 |
|
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)
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}