| From: Neil Van Dyke (neil at neilvandyke.org) Date: Wed Dec 17 22:00:36 EST 2014 |
|
Two questions, for the documentation of a single-collection package in `.zip` format (in the new package system)... * Given that the package is named `mypackage`, must the Scribble file be named `mypackage.scrbl`, or will things work just as well if the file is named `doc.scrbl`? * Scribble-generated HTML files should *not* be included in the `.zip`, correct? Neil V.
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}