Tool Library
You can set up the tool library directory to store manufacturing tools. The configuration file option is:
pro_mf_tprm_dir <pathname>
* 
To avoid problems, use the complete pathname.