Rd.files

#!/bin/sh
##-- Not used anymore if we have  .Rd  file names in  MANdir
##
#-- must run from current directory (if using default MANdir ..)
cd `dirname $0`
#
if [ "$1" -a  x$1 != xbase ]
then
	MANdir=$1
else
	MANdir=../src/library/base/man
fi
if [ ! -d $MANdir ]
then
	echo "'$MANdir' is not a directory\!"
	exit 1
fi
if [ "$2" ]
then
	#-- include the PATHname if there is a 2nd argument:
	ls -1A $MANdir/*.Rd
else
	(cd $MANdir; ls -1A *.Rd)
fi