ResourceCfgFile

A default resource configuration file for the Launcher is specified in the Launcher section of the dtx.ini file:

ResourceCfgFile=resource.mrc

You can specify a resource configuration file for the Launcher by modifying the default file name (resource.mrc) to the resource configuration file that you want to use.

For more information about the resource configuration file, see the Resource Registry documentation.