From 6aa005a3b4697a71a086736e7cacacf85f0c4b98 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9s=20Delfino?= <adelfino@gmail.com>
Date: Sat, 21 Feb 2026 12:23:57 -0300
Subject: [PATCH] Improve profile advice for zsh users

---
 INSTALL | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/INSTALL b/INSTALL
index b976b817..00383ff3 100755
--- a/INSTALL
+++ b/INSTALL
@@ -208,8 +208,10 @@ if $doinstall; then
 	echo "* Done. "
 	echo "	"
 	echo "* Add these to your profile environment."
-	echo "	PLAN9=$PLAN9 export PLAN9"
-	echo '	PATH=$PATH:$PLAN9/bin export PATH'
+	echo "	PLAN9=$PLAN9"
+	echo "	export PLAN9"
+	echo '	PATH=$PATH:$PLAN9/bin'
+	echo "	export PLAN9"
 fi
 ) 2>&1 | tee install.log | $awk -f $PLAN9/dist/isum.awk -v 'copy='install.sum