man: -P run single instance of page

rc/bin/man

@@ -109,6 +109,12 @@ if(~ $#fils 0) {
 		exit 'no man'
 	}
 }
+switch($cmd) {
+case p; out=proof
+case P; out=page
+case *; out=cat
+}
+{
 	for(i in $fils) {
 		if(! /bin/test -f $i)
 			echo need $i >[1=2]
@@ -121,10 +127,10 @@ for(i in $fils) {
 				roff t $i
 
 			case p
-			roff t $i | grep -v '^x X html' | proof
+				roff t $i | grep -v '^x X html'
 
 			case P
-			roff t $i | page
+				roff t $i
 
 			case n
 				roff n $i | sed '
@@ -147,3 +153,5 @@ for(i in $fils) {
 			}
 		}
 	}
+} | $out
+