diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml
index 8ccb772a..f4f7aaf8 100644
--- a/doc/manual/installation.xml
+++ b/doc/manual/installation.xml
@@ -101,9 +101,9 @@ nix-env -i hydra
Command completion should reveal a number of command-line tools from Hydra:
-hydra_build.pl hydra_eval_jobs hydra_server.pl
-hydra_control.sh hydra_evaluator.pl hydra_update_gc_roots.pl
-hydra_create.pl hydra_queue_runner.pl
+hydra-build hydra-evaluator hydra-update-gc-roots
+hydra-create hydra-queue-runner
+hydra-eval-jobs hydra-server
@@ -174,7 +174,7 @@ export HYDRA_DATA=/var/lib/hydra
To start the Hydra web server, execute:
-hydra_server.pl
+hydra-server
When the server is started, you can browse to
http://localhost:3000/ to start configuring
@@ -182,7 +182,7 @@ hydra_server.pl
- The hydra_server.pl command launches the
+ The hydra-server command launches the
web server. There are two other processes that come into
play:
@@ -193,14 +193,14 @@ hydra_server.pl
dependencies off their version control systems (VCS),
and queueing new builds if the result of the evaluation
changed. It is launched by the
- hydra_evaluator.pl command.
+ hydra-evaluator command.
The queue runner launches builds
(using Nix) as they are queued by the evaluator,
scheduling them onto the configured Nix hosts. It is
launched using the
- hydra_queue_runner.pl command.
+ hydra-queue-runner command.