Rev 7320 | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed
#!/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 ]thenMANdir=$1elseMANdir=../src/library/base/manfiif [ ! -d $MANdir ]thenecho "'$MANdir' is not a directory\!"exit 1fiif [ "$2" ]then#-- include the PATHname if there is a 2nd argument:ls -1A $MANdir/*.Rdelse(cd $MANdir; ls -1A *.Rd)fi