#!/bin/sh
pager=${PAGER-"more -s"}
if [ "$1" != "" ]
then exec $pager < $1
else exec $pager
fi
# For the curious: "pager $1" doesn't work in batch, because "more" will
# eat the rest of stdin. The no-argument version is intended for use 
# at the end of a pipeline.