Fix link to up to date team manual.

Closes: DOMjudge#107

Author: thijskh

new_release_howto.md

@@ -33,8 +33,8 @@ on the account `domjudge@vm-domjudge`):
  1. Remove unsupported versions from the `versions.json` in the next step.
  1. If this is a new major or minor version, update the release documentation
     under `/srv/http/domjudge/docs/manual` by adding a new version to the
-    file `versions.json` and updating the redirect destination in `index.html`.
-    The documentation is regenerated once every hour.
+    file `versions.json` and updating the redirect destination in `index.html`
+    and `team.html`. The documentation is regenerated once every hour.
  1. Bump the Docker images by starting a new pipeline
     [here](https://gitlab.com/DOMjudge/domjudge-packaging/-/pipelines/new) and
     setting `DOMJUDGE_VERSION` to the version to release. Set `DOMJUDGE_LATEST`

website/documentation.shtml

@@ -5,9 +5,8 @@
 <dl>
 <dt><a href="docs/manual/index.html">DOMjudge manual</a></dt>
 <dd>The complete reference for those setting up and running the DOMjudge system as well as the jury.</dd>
-<dt><a href="docs/team-manual.pdf">Team manual</a></dt>
-<dd>Concise manual for participating teams. Only available in Portable
-Document Format (PDF).</dd>
+<dt><a href="docs/manual/team.html">Team manual</a></dt>
+<dd>Concise manual for participating teams. Available also as PDF in the DOMjudge tarball.</dd>
 </dl>
 
 <h2>API documentation</h2>