diff options
author | rsc <devnull@localhost> | 2005-01-11 20:58:13 +0000 |
---|---|---|
committer | rsc <devnull@localhost> | 2005-01-11 20:58:13 +0000 |
commit | 2b85f70db0d42f72fc532de906494fa173efa834 (patch) | |
tree | 4ddfef07401aaf3d0d121182ee450422e61a1243 /bin/9man | |
parent | c70667367f0d720fd6ddc62041ba5fcf10dc7f4c (diff) | |
download | plan9port-2b85f70db0d42f72fc532de906494fa173efa834.tar.gz plan9port-2b85f70db0d42f72fc532de906494fa173efa834.tar.bz2 plan9port-2b85f70db0d42f72fc532de906494fa173efa834.zip |
change scripts back to /usr/local/plan9/bin/rc. sigh.
man replaces 9man
Diffstat (limited to 'bin/9man')
-rwxr-xr-x | bin/9man | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/bin/9man b/bin/9man deleted file mode 100755 index cbbbd6e4..00000000 --- a/bin/9man +++ /dev/null @@ -1,43 +0,0 @@ -#! /bin/sh -root=$PLAN9/man - -while [ $# -gt 0 ] ; do - case $1 in - [0-9]) sec="$sec $1" ;; - *) break ;; - esac - shift -done - -if [ "X$sec" = "X" ] ; then - sec=`ls -d $root/man[0-9]* | sed -e 's;/$;;' -e 's;^.*/man;;'` -fi - -pat='^('`echo $* | sed -e 's; ;|;g'`')' ; -for s in $sec ; do - if [ -f $root/$s/INDEX ] ; then - try=`grep -E $pat $root/man$s/INDEX | sed -e 's;^[^ ]* ;;'` ; - fi - if [ "X$try" != "X" ] ; then - for f in $try ; do - files="$files $root/man$s/$f.$s"; - done - try=""; - fi - for f in $* ; do - if [ -f $root/man$s/$f.$s ] ; then - files="$files $root/man$s/$f.$s" ; - fi - done -done - -files=`echo $files | tr ' ' '\n' | sort -u`; - -if [ "X$files" = "X" ] ; then - echo "No manual entry for $*"; - exit 1; -fi - -exmac=".de EX\n.ift .ft 5\n.nf\n..\n.de EE\n.ft1\n.fi\n.." -( echo -e $exmac ; cat $files ) | nroff -man - |