Describe [ "$DIRNAME" = "" -o ! -d $RCSDIR/$DIRNAME? here.
No other page links to [ "$DIRNAME" = "" -o ! -d $RCSDIR/$DIRNAME yet.