diff -r 525976d2827c -r 298c6ea6295c doc/manual.docbook
--- a/doc/manual.docbook	Wed Oct 14 17:13:47 2009 +0100
+++ b/doc/manual.docbook	Wed Oct 14 17:15:08 2009 +0100
@@ -112,7 +112,7 @@
 0 files updated, 0 files merged, 0 files removed, 0 files unresolved
 jay@my-workstation:~$ </computeroutput><userinput>cd hgadmin</userinput>
 <computeroutput>jay@my-workstation:~/hgadmin$ </computeroutput><userinput>mkdir -p keys/users/sam</userinput>
-<computeroutput>jay@my-workstation:~/hgadmin$ </computeroutput><userinput>cp ~/other-users-key.pub keys/users/sam/their-workstation</userinput>
+<computeroutput>jay@my-workstation:~/hgadmin$ </computeroutput><userinput>cp ~/sam-key.pub keys/users/sam/their-workstation</userinput>
 <computeroutput>jay@my-workstation:~/hgadmin$ </computeroutput><userinput>hg add</userinput>
 <computeroutput>adding keys/users/sam/their-workstation
 jay@my-workstation:~/hgadmin$ </computeroutput><userinput>hg commit -m "Add Sam's key'"</userinput>