Update new_release_howto

Author: thijskh

new_release_howto.md

@@ -4,33 +4,26 @@ on the account `domjudge@vm-domjudge`):
 
  1. Test everything. (duh...)
  1. Commit the correct version number in the `ChangeLog` and `README` files.
+ 1. export $TAG=x.y.z
  1. Create a release version `$TAG` in Git with `$TAG` the version number
     x.y.z:
+    ```sh
         git tag -s -m "Tag release version $TAG." $TAG
+    ```
     See `git tag --help` for more details on how to tag with(out) a
     GPG signature.
- 1. Create the release tarball by running
-        make_release.sh $TAG
-    Optionally add a git-repo-url as second parameter (defaults to
-    `https://github.com/DOMjudge/domjudge.git`) to point it to your local
-    repository, before committing to the central repository.
-
-    The tarball is placed in the current dir; check that it looks correct,
-    test e.g. by unpacking it and running
-        ./configure && make build
  1. Don't forget to push everything to the central Git repository
     (especially the release tags, since these are not pushed by default),
     e.g. with
         `git push origin ${TAG%.?} refs/tags/$TAG`
- 1. On the server the tarball will be rebuild and signed.
  1. If releasing from the main branch, create a new version branch:
     ```{sh}
     git checkout -b x.y
     git push --set-upstream origin x.y
     git checkout main
     ```
  1. Update files above to `{version+1}DEV` and commit.
- 1. Copy domjudge-$TAG.tar.gz* to `/srv/http/domjudge/releases/`
+ 1. On the server the tarball will be built, signed and published.
  1. Update the DOMjudge homepage: commit changes in the `domjudge-scripts`
     repository under `website/` and run `make install` as domjudge@domjudge
  1. If this is a new major or minor version, update the release documentation
@@ -39,4 +32,6 @@ on the account `domjudge@vm-domjudge`):
     The documentation is regenerated once every hour.
  1. Bump the docker containers and build Debian packages (or make someone
     do this).
+ 1. Put debian packages in `/srv/http/domjudge/debian/mini-dinstall/incoming`
+    and run as domjudge@domjudge: `mini-dinstall -b`
  1. Send an email to `[email protected]`.