manual: Fix command to create keys.

$key is neither defined nor required here.

diff --git a/web/manual.md b/web/manual.md
index e0f5ccf1866d06378d249b3177a923fb6d8aa502..2c806614d1e4ea001f990949d817dd5929e39a00 100644 (file)
--- a/web/manual.md
+++ b/web/manual.md
@@ -446,7 +446,7 @@ following commands:
 Next, change to the "bar" account on client_host and generate the
 key pair with the commands
 
-       ssh-keygen -q -t rsa -b 2048 -N '' -m PEM -f $key
+       ssh-keygen -q -t rsa -b 2048 -N '' -m PEM
 
 This generates the two files id_rsa and id_rsa.pub in ~/.ssh.  Note
 that para_server won't accept keys shorter than 2048 bits. Moreover,