I'm sorry, there is no such page as [ "$DIRNAME" = "" -o ! -d $RCSDIR/$DIRNAME?.
No other page links to [ "$DIRNAME" = "" -o ! -d $RCSDIR/$DIRNAME yet.