| From: Matthew Flatt (mflatt at cs.utah.edu) Date: Mon Jan 3 12:42:21 EST 2011 |
|
At Mon, 3 Jan 2011 11:39:28 -0600, Robby Findler wrote: > I've changed the handin server so it puts its docs in the main tree > like (I believe) it is supposed to. That breaks the distribution build. The "handin-server" docs were intentionally not installed into the main tree, because "handin-server" is not included in the distribution.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}