diff options
Diffstat (limited to 'testing/mdocml/man.sh')
| -rw-r--r-- | testing/mdocml/man.sh | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/testing/mdocml/man.sh b/testing/mdocml/man.sh deleted file mode 100644 index 6795e2007..000000000 --- a/testing/mdocml/man.sh +++ /dev/null @@ -1,52 +0,0 @@ -#!/bin/sh - -# man - a simple man program for ASCII pages -# Copyright (c) 2008 Matthew Hiles -# -# Licensed under GPLv2 or later, see file LICENSE in this tarball for details. - -## requires: find, head, sort, tr, cat, and grep/egrep -## optional: zcat, bzcat, less - -if [ -z "$MANPATH" ]; then - echo "Warning: MANPATH is not set, assuming /usr/share/man." >&2 - MANPATH=/usr/share/man -fi - -case $# in -1) - pagearg=$1 ;; -2) - section=man$1 - pagearg=$2 ;; -*) - echo "Usage: man [section] <manpage>" - exit -esac - -paths=`echo "$MANPATH" | tr ":" " "` -pagefile=`find $paths | grep "/$section" | grep "/$pagearg\." | sort | head -n1` - -if [ -z "$pagefile" ]; then - echo -n No manual entry for $pagearg - [ $section ] && echo -n " in section $1 of the manual." - echo - exit -fi - -[ "$PAGER" ] || PAGER=less -tty -s <&1 || PAGER=cat - -case "$pagefile" in -*.bz2) - exec bzcat "$pagefile" | "$PAGER" ;; -*.gz) - exec zcat "$pagefile" | "$PAGER" ;; -*) - exec mandoc -Tutf8 "$pagefile" | "$PAGER" ;; -esac - -paths= -pagefile= -pagearg= -section= |