Done.

On 17/07/2013, at 9:47 PM, Josh Suereth <notifications@github.com> wrote:

> In documentation/manual/detailledTopics/production/ProductionDist.md:
> 
> >  
> > -Alternatively you can run `play dist` directly from your OS shell prompt, which does the same thing:
> > +* tar.gz
> > +* OS X disk images
> > +* Microsoft Installer (MSI)
> > +* RPMs
> debian (DEB) files, as well.
> 
> —
> Reply to this email directly or view it on GitHub.
>