diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml index 23309553e..9fb0d57a8 100644 --- a/doc/manual/installation.xml +++ b/doc/manual/installation.xml @@ -88,7 +88,6 @@ hydra_server.pl -