Remove advice on stuff that vanished from the distribution years ago.

diff --git a/doc/disk_space b/doc/disk_space
index 91faaba5f4f86950f4d2267a1f24d0f1cd1579a4..191764d1f1f7541226da16a428d588408d3cec03 100644 (file)
--- a/doc/disk_space
+++ b/doc/disk_space
@@ -4,9 +4,6 @@
 If disk space is a concern, then there are a number of files which you can
 safely delete without affecting your game.
 
-You can type this immediately:
-  rm -fr xland old
-
 Once you have compiled your info pages, you can type:
   rm -fr info