diff --git a/docs/server.xml b/docs/server.xml index a5602d27..93044801 100644 --- a/docs/server.xml +++ b/docs/server.xml @@ -30,7 +30,7 @@

- Possible command line options can be obtained from the startup section of this documentation. + Possible command line options can be obtained from the command-line section of this documentation. Run the script to start the server.