#! /bin/sh
#	Usage: pms.sh [man-file ...]"
#	to print the specified manual pages"
#	If no files are specified, all of section 1 is printed"
# edit the next two lines to work on your system
TROFF="rsh flash pinkroff -man"
MIDIMANDIR=/u/psl/MIDI/man

AFILE=$MIDIMANDIR/troff-abbrevs
FILES=${*-$MIDIMANDIR/man1/*.1}
TMP=/tmp/pms$$
cat /dev/null > $TMP
for f in $FILES; do
    echo -n $f...;
    sed -f $AFILE $f >> $TMP
    echo ""
done
$TROFF <$TMP
rm $TMP