1 files changed, 1 insertions, 1 deletions
diff --git a/dis/man b/dis/man
index 1c83abc5..07bc3b90 100755
--- a/dis/man
+++ b/dis/man
@@ -97,7 +97,7 @@ for i in $fils {
 			wm/man -f $i
 		}{~ $cmd b}{
 			if{~ $i '/man/*/0intro'}{
-				x=`{echo $i | sed 's;/man/(.*)/.*;/\1 intro;'}
+				x=`{echo $i | sed 's;/man/(.*)/.*;\1 intro;'}
 			}{~ $i '/man/*/*'}{
 				x=`{echo $i | sed 's;/man/(.*)/(.*);\1 \2;'}			
 			}{