On Thu, Nov 13, 2014 at 5:20 PM, Thomas Dinges <blender at dingto.org> wrote: > You'd simply have to type in another command, e.g. "make-full" instead > of "make". > > Come on guys. ;) Initial proposal suggests we have a `make release`