#!/bin/bash
if [ "x$1" == "x" ] ; then
  echo "Need one argument, the new nfs directory name"
  exit 1
fi
make nfsrename NFSDIR="$1"
#-----------------------------------------------------------------------------	
