fix the website directions.

doc/HACKING

@@ -475,12 +475,10 @@ and push the git tag.
    (That's either "git tag -u <keyid> tor-0.2.x.y-status", then
     "git push origin tag tor-0.2.x.y-status".  To sign the
     tarball, "gpg -ba <the_tarball>".  Put the files in
-    /src/www-master.torproject.org/htdocs/dist on vescum, then
-    sudo -u mirroradm -H /home/mirroradm/bin/trigger-mirrors sudoed
-    )
+    /srv/www-master.torproject.org/htdocs/dist/ on vescum.)
 
-8) Edit include/versions.wmi to note the new version. Rebuild and push
-the website.
+8) Edit include/versions.wmi to note the new version. From your website
+checkout, run ./publish to build and publish the website.
 
 9) Email Erinn and weasel (cc'ing tor-assistants) that a new tarball
 is up. This step should probably change to mailing more packagers.