From: Noel Welsh (noelwelsh at gmail.com) Date: Wed Jul 30 11:36:46 EDT 2008 |
|
On Wed, Jul 30, 2008 at 1:09 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote: > Don't call the directory "doc", which is the name for generated > documentation, just like "compiled" the is the directory name for > generated bytecode. Thanks, that's solved that problem. N.
Posted on the users mailing list. |
|