Specifies the full name of the DECdns directory that contains the
    list of DECdts servers that belong to the global set.