The steps for deploying the site are the same as for any other sister project. Basically, it boils down to checking the site is okay locally, the deploying using -D dist=remote, with a separate ssh session created to sourceforge. Full details are given in Chapter 11, Deploying the Site.