1 files changed, 1 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 787920bc..5becb934 100755
--- a/INSTALL
+++ b/INSTALL
@@ -7,6 +7,7 @@ cd src
 make
 mk clean
 mk install
+mk clean
 
 echo "Set PLAN9=$PLAN9 in your profile environment."
 echo 'Add $PLAN9/bin to your PATH.'