/usr/lib/mpich/bin/mpiman is in mpich-bin 1.2.7-10ubuntu1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 | #! /bin/sh
#
# Starts up xman with the tools manual pages
#
prefix=/usr/lib/mpich
mandir=/usr/lib/mpich/man
htmldir=${prefix}/www
#
if [ -n "$MPIDIR" ] ; then
mandir="$MPIDIR/man"
htmldir="$MPIDIR/www"
fi
#
# Start the appropriate program
program="xman -notopbox -helpfile $mandir/mpiman.help"
docdir=man
mankind=UNIX
MANPATH=$mandir
export MANPATH
#
for arg in "$@" ; do
case $arg in
-echo)
set -x
;;
-xmosaic)
program="xmosaic $htmldir/index.html"
docdir=$htmldir
mankind=HTML
;;
-mosaic)
program="mosaic $htmldir/index.html"
docdir=$htmldir
mankind=HTML
;;
-netscape)
program="netscape $htmldir/index.html"
docdir=$htmldir
mankind=HTML
;;
-xman)
program="xman -notopbox -helpfile $mandir/mpiman.help"
docdir=$mandir
MANPATH=$MPIDIR/$docdir
export MANPATH
mankind=UNIX
;;
-man)
program=man
docdir=$mandir
MANPATH=$mandir
export MANPATH
mankind=UNIX
;;
*)
args="$args $arg"
;;
esac
done
if [ ! -d $docdir ] ; then
echo "You do not have $mankind manpages installed"
exit 1
fi
$program $args
|