From b908772234cea6ca00a13ed0deccc232f8752f5c Mon Sep 17 00:00:00 2001 From: rsc Date: Tue, 11 Jan 2005 19:44:13 +0000 Subject: invoke page better --- bin/man | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) (limited to 'bin/man') diff --git a/bin/man b/bin/man index 6a5f4db6..b765aa80 100755 --- a/bin/man +++ b/bin/man @@ -38,14 +38,6 @@ fn roff { } } -fn page { - if(test -d /mnt/wsys/acme) - /bin/page -w - if not - /bin/page -} - - while(~ $d 0) { if(~ $#* 0) { echo 'Usage: man [-ntp] [-s sec] [0-9] [0-9] ... name1 name2 ...' >[1=2] @@ -104,9 +96,7 @@ for(i in $fils) { roff t $i | proof case P - roff t $i |tr2post |psfonts >/tmp/man.$pid.ps - psv /tmp/man.$pid.ps - rm -f /tmp/man.$pid.ps + roff t $i |tr2post |psfonts |page case n roff n $i | 9sed ' -- cgit v1.2.3