docs/README.developers: minor cleanups.

diff --git a/docs/README.developers b/docs/README.developers
index 7cb5eecfe359a33eea5a863bc926391cc6710270..a4505980e85667d9a2632d7a5f62b69bf32719e9 100644 (file)
--- a/docs/README.developers
+++ b/docs/README.developers
@@ -123,8 +123,8 @@ here):
  6. If you have root access on your machine, it's good at this point
     to do:
 
-    % chown -R 0:0 nmh-1.0
-    % tar cvf - nmh-1.0 | gzip -c > nmh-1.0.tar
+    % chown -R 0:0 mmh-1.0
+    % tar cvf - mmh-1.0 | gzip -c > mmh-1.0.tar.gz
 
     If you leave the files in the archive as being owned by yourself,
     your UID may coincide with one of a user on a machine where mmh is